Aido.git / aido-server.in

version» Context lines:

Aido.git/aido-server.in:1:   #!/bin/sh      DEFINES=""   ARGS=""   once=0 + PIKE=pike      if [ -f @DIR@/CVS/Entries ] ; then    VERSION="cvs-@VERSION@"   else    VERSION="@VERSION@"   fi      LOG='@DIR@/logs/server-debug'      while [ ! c"$1" = "c" ] ; do
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` +  pikeversion=`$PIKE --version 2>&1 | head -1`    echo "Pike version: $pikeversion." -  echo exec pike "$ARGS" +  echo exec $PIKE "$ARGS"    fi -  pike $ARGS +  $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