From a14a52fe110db956e50365c25f41b90bbfe5e9f6 Mon Sep 17 00:00:00 2001
From: Pieter Naaijkens <pieter@internethoofdkantoor.nl>
Date: Tue, 7 Jun 2011 21:57:00 +0200
Subject: [PATCH] Remove pidfile on shutdown

---
 radicale.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/radicale.py b/radicale.py
index a5349b57..29011064 100755
--- 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)