Aido.git / aido-server.in

version» Context lines:

Aido.git/aido-server.in:22:    case "$1" in    -D*|-d*|-t*)    DEFINES="$DEFINES $1"    ;;    '--once')    once=1    ;;    '--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    ;;    '--restart')    #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    ;;    '--nossl'|'--no-sll')    DEFINES="-DNOSSL $DEFINES"    ;;    '--debug'|'--with-debug'|'--enable-debug')    DEBUG=1    DEFINES="-DVP_DEBUG $DEFINES"