Aido.git / aido-server.in

version» Context lines:

Aido.git/aido-server.in:24:    '--kill'|'--stop')    if [ -f $HOME/.aido/pid ]; then    PID=`cat $HOME/.aido/pid`    kill $PID && wait $PID 2>/dev/null    fi    exit 0    ;;    '--restart')    if [ -f $HOME/.aido/pid ]; then    PID=`cat $HOME/.aido/pid` -  kill $PID +  kill -HUP $PID    fi    exit 0    ;;    '--nossl'|'--no-sll')    DEFINES="-DNOSSL $DEFINES"    ;;    '--debug'|'--with-debug'|'--enable-debug')    DEBUG=1    DEFINES="-DVP_DEBUG $DEFINES"    ;;
Aido.git/aido-server.in:112:   }      signal_hup() {    if [ "x$AIDO_PID" != "x" ]; then    kill $AIDO_PID    fi   }      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    trap signal_hup 1       while : ; do    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    trap signal_exit 2 15    echo $$ >$HOME/.aido/pid    start_server   fi