Aido.git / aido-server.in

version» Context lines:

Aido.git/aido-server.in:64:   ARGS="$DEFINES -M../../pike-modules main.pike $ARGS"      rotate_log() {    mv -f "$LOG.old" "$LOG.older" 2>/dev/null    mv -f "$LOG" "$LOG.old" 2>/dev/null   }      start_server() {    if [ ! x$DEBUG = x ] ; then    echo cd "@DIR@/programs/server" +  pikeversion=`pike --version 2>&1 | head -1` +  echo "Pike version: $pikeversion."    echo exec pike "$ARGS"    fi    pike $ARGS   }      if [ x$once = 'x0' ] ; then    echo Starting server in the background.    (    while : ; do    rotate_log ;    start_server > $LOG 2>&1 < /dev/null    done    ) &   else    start_server   fi