#!/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