Branch: Tag:

2003-05-31

2003-05-31 17:45:20 by Martin Stjernholm <mast@lysator.liu.se>

Some fixes.

Rev: aido-server.in:1.9

24:    '--kill'|'--stop')    if [ -f $HOME/.aido/pid ]; then    PID=`cat $HOME/.aido/pid` -  kill $PID 2>/dev/null && wait $PID 2>/dev/null +  kill $PID && wait $PID 2>/dev/null    fi    exit 0    ;;    '--restart')    if [ -f $HOME/.aido/pid ]; then    PID=`cat $HOME/.aido/pid` -  kill -HUP $PID 2>/dev/null +  kill $PID    fi    exit 0    ;;
106:   signal_exit() {    trap "" 2 15    if [ "x$AIDO_PID" != "x" ]; then -  kill $AIDO_PID 2>/dev/null && wait $AIDO_PID 2>/dev/null +  kill $AIDO_PID && wait $AIDO_PID 2>/dev/null    fi    exit   }      signal_hup() {    if [ "x$AIDO_PID" != "x" ]; then -  kill $AIDO_PID 2>/dev/null +  kill $AIDO_PID    fi   }   
129:    start_server > $LOG 2>&1 < /dev/null    done    ) & +  test -d $HOME/.aido || mkdir $HOME/.aido    echo $! >$HOME/.aido/pid   else    trap signal_exit 2 15    echo $$ >$HOME/.aido/pid    start_server   fi