wok rev 1167

postfix: remove pid file
author Pascal Bellard <pascal.bellard@slitaz.org>
date Wed Jul 30 12:12:44 2008 +0000 (2008-07-30)
parents 327fe5ea9abb
children f1362553414e
files postfix/stuff/etc/init.d/postfix
line diff
     1.1 --- a/postfix/stuff/etc/init.d/postfix	Wed Jul 30 12:09:40 2008 +0000
     1.2 +++ b/postfix/stuff/etc/init.d/postfix	Wed Jul 30 12:12:44 2008 +0000
     1.3 @@ -30,7 +30,7 @@
     1.4        exit 1
     1.5      fi
     1.6      echo -n "Stopping $DESC: $NAME... "
     1.7 -    kill `cat $PIDFILE`
     1.8 +    kill `cat $PIDFILE` && rm -f $PIDFILE
     1.9      status
    1.10      ;;
    1.11    restart)
    1.12 @@ -39,7 +39,7 @@
    1.13        exit 1
    1.14      fi
    1.15      echo -n "Restarting $DESC: $NAME... "
    1.16 -    kill `cat $PIDFILE`
    1.17 +    kill `cat $PIDFILE` && rm -f $PIDFILE
    1.18      sleep 2
    1.19      $DAEMON $OPTIONS &
    1.20      status