wok-next rev 2340

boxbackup-server: improve start script
author Dominique Corbex <domcox@users.sourceforge.net>
date Mon Mar 02 19:38:39 2009 +0100 (2009-03-02)
parents bbd4c519c147
children bf612580d156
files boxbackup-server/stuff/bbstored
line diff
     1.1 --- a/boxbackup-server/stuff/bbstored	Mon Mar 02 08:57:35 2009 +0000
     1.2 +++ b/boxbackup-server/stuff/bbstored	Mon Mar 02 19:38:39 2009 +0100
     1.3 @@ -31,6 +31,7 @@
     1.4      fi
     1.5      echo -n "Stopping $DESC: $NAME... "
     1.6      kill `cat $PIDFILE`
     1.7 +	rm -f $PIDFILE
     1.8      status
     1.9      ;;
    1.10    restart)
    1.11 @@ -40,6 +41,7 @@
    1.12      fi
    1.13      echo -n "Restarting $DESC: $NAME... "
    1.14      kill `cat $PIDFILE`
    1.15 +	rm -f $PIDFILE
    1.16      sleep 2
    1.17      $DAEMON $OPTIONS > /dev/null
    1.18      status