Remove pidfile on shutdown

2011-06-07 21:57:00 +02:00
parent ec9e410659
commit a14a52fe11
1 changed files with 4 additions and 0 deletions
--- a/radicale.py
+++ b/radicale.py
@ -159,3 +159,7 @@ finally:
            "Closing server listening to %s port %s" % (
                server.server_name, server.server_port))
        server.shutdown()
+
+    # remove pidfile
+    if options.pid:
+       os.unlink(options.pid)