Branch: Tag:

2003-05-31

2003-05-31 18:07:52 by Martin Stjernholm <mast@lysator.liu.se>

Now I understand the reason for the -HUP business. Check that we don't
start duplicate servers.

Rev: aido-server.in:1.10

31:    '--restart')    if [ -f $HOME/.aido/pid ]; then    PID=`cat $HOME/.aido/pid` -  kill $PID +  kill -HUP $PID    fi    exit 0    ;;
119:      AIDO_PID=""   if [ x$once = 'x0' ] ; then +  if [ -f $HOME/.aido/pid ]; then +  PID=`cat $HOME/.aido/pid` +  if kill -0 $PID 2>/dev/null ; then +  echo Server already running with PID $PID. +  exit 1 +  fi +  fi    echo Starting server in the background.    (    trap signal_exit 2 15
128:    rotate_log ;    start_server > $LOG 2>&1 < /dev/null    done -  ) & +  ) >/dev/null 2>&1 &    test -d $HOME/.aido || mkdir $HOME/.aido    echo $! >$HOME/.aido/pid   else