Branch: Tag:

2004-06-22

2004-06-22 10:00:46 by Petter Larsson <petterl@lysator.liu.se>

Say something when server killed or restarted

Rev: aido-server.in:1.14

29:    '--kill'|'--stop')    if [ -f $PIDFILE ]; then    PID=`cat $PIDFILE` +  echo Killing server with PID $PID    kill $PID && wait $PID 2>/dev/null    fi    exit 0
37:    #FIXME: Doesn't use last sessions options.    if [ -f $PIDFILE ]; then    PID=`cat $PIDFILE` +  echo Restarting server with PID $PID in the background.    kill -HUP $PID    fi    exit 0