#!/bin/csh -f
#
# Sole argument is a port number, if desired,
# if none is given defaults to 4201.
#

# if you want to be restarting this from outside this directory,
# set this to the game directory, like .../mage/game
set GAMEDIR = `pwd`

set muck = `/bin/ps aux | /bin/grep netmage | /usr/ucb/wc -l`

if ($muck > 1) exit 0

cd $GAMEDIR

if (-r data/in.new.PANIC) then
	set end = "`tail -1 data/in.new.PANIC`"
	if ("$end" == "***END OF DUMP***" ) then
		mv data/in.new.PANIC data/in.new
	else
		rm data/in.new.PANIC
		echo "Warning: PANIC dump failed on "`date` | mail "`whoami`@`hostname`"
	endif
endif

mv -f data/in data/in.old
if (-r data/in.new) then
	mv data/in.new data/in
else
	cp data/in.old data/in
endif

./netmage data/in data/in.new $1 > /dev/null &