#!/bin/sh SERVERDIR=/atreus/mjr/hacks/mud/main/fridge SERVERPID=$SERVERDIR/server_pid if [ ! -f $SERVERPID ]; then echo "no server process id in $SERVERPID" exit 2 fi # server pid is in the file, created at boot-time SPID=`cat $SERVERPID` echo "sending a kill -QUIT to pid $SPID" kill -QUIT $SPID if [ $? != 0 ]; then echo "kill failed." rm $SERVERPID exit 1 fi rm $SERVERPID exit 0