diff -r daa61fffb811 -r a3bd35e49b8a gmyth-stream/server/data/gmsd --- a/gmyth-stream/server/data/gmsd Wed Aug 29 14:42:10 2007 +0100 +++ b/gmyth-stream/server/data/gmsd Wed Jan 30 21:20:16 2008 +0000 @@ -24,11 +24,11 @@ echo "$PROGRAM_NAME already running." else rm -f $PIDFILE - $PROGRAM_BIN -d > $LOGFILE + $PROGRAM_BIN -d > $LOGFILE 2> $LOGFILE echo "OK" fi else - $PROGRAM_BIN -d > $LOGFILE + $PROGRAM_BIN -d > $LOGFILE 2> $LOGFILE echo "OK" fi ;; @@ -38,11 +38,12 @@ if [ -f $PIDFILE ] then PID=`cat $PIDFILE` - if ps ax | grep -q "^$PID" + if ps -p "$PID" > /dev/null then - kill -10 $PID + kill -9 $PID fi rm $PIDFILE + echo "OK" else echo "No $PROGRAM_NAME found running; no killed." fi