wok rev 14578

wicd/stuff/wicd: rm -f wicd.pid for clean stop
author Richard Dunbar <mojo@slitaz.org>
date Sat May 25 23:21:16 2013 +0000 (2013-05-25)
parents 466e9e6f8a6f
children cb80b0fa8223
files wicd/stuff/wicd
line diff
     1.1 --- a/wicd/stuff/wicd	Sat May 25 22:07:50 2013 +0200
     1.2 +++ b/wicd/stuff/wicd	Sat May 25 23:21:16 2013 +0000
     1.3 @@ -31,7 +31,7 @@
     1.4      fi
     1.5      echo -n "Stopping $DESC: $NAME... "
     1.6      kill `cat $PIDFILE`
     1.7 -    rm $PIDFILE
     1.8 +    rm -f $PIDFILE
     1.9      status
    1.10      ;;
    1.11    restart)
    1.12 @@ -41,7 +41,7 @@
    1.13      fi
    1.14      echo -n "Restarting $DESC: $NAME... "
    1.15      kill `cat $PIDFILE`
    1.16 -    rm $PIDFILE
    1.17 +    rm -f $PIDFILE
    1.18      sleep 2
    1.19      $DAEMON $OPTIONS
    1.20      status