#!/bin/sh -

PIDFILE=serverpid
logfile=../logs/restart.log

cd /use/gaustad/u1/geirp2/SR/highlvl/server

if [ -f $PIDFILE ]; then
  pid=`cat $PIDFILE`
  rm -f error
  if kill -0 $pid >error 2>&1; then
    echo SCRIPT `date`: Server already running, exiting >>$logfile 2>&1
    rm -f error
    exit
  else
    if grep "Not owner" error >/dev/null 2>&1; then
      echo SCRIPT `date`: old server not owned by `whoami`, exiting >>$logfile 2>&1
      rm -f error
      exit
    fi
    echo SCRIPT `date`: old server $pid is down \(`cat error`\). >>$logfile 2>&1
    rm -f error
  fi
else
  echo No pidfile
fi
./realserver -logfile $logfile -keeplog >/dev/tty 2>&1 &

rm -f $PIDFILE
echo $! >$PIDFILE

echo SCRIPT `date`: New server pid `cat $PIDFILE` started. >>$logfile 2>&1
