# HG changeset patch
# User Dominique Corbex <domcox@users.sourceforge.net>
# Date 1236019119 -3600
# Node ID 67b0b4fc1484b55570fb1b2761dafbb79bd8c5c6
# Parent  bbd4c519c147036bbcf509020e1e9b541e53eceb
boxbackup-server: improve start script

diff -r bbd4c519c147 -r 67b0b4fc1484 boxbackup-server/stuff/bbstored
--- a/boxbackup-server/stuff/bbstored	Mon Mar 02 08:57:35 2009 +0000
+++ b/boxbackup-server/stuff/bbstored	Mon Mar 02 19:38:39 2009 +0100
@@ -31,6 +31,7 @@
     fi
     echo -n "Stopping $DESC: $NAME... "
     kill `cat $PIDFILE`
+	rm -f $PIDFILE
     status
     ;;
   restart)
@@ -40,6 +41,7 @@
     fi
     echo -n "Restarting $DESC: $NAME... "
     kill `cat $PIDFILE`
+	rm -f $PIDFILE
     sleep 2
     $DAEMON $OPTIONS > /dev/null
     status