27 lines (25 with data), 516 Bytes
#!/bin/csh -f
#
# sh so others can use the fucker!
#
# Restart LPMud a lot of times, in case of a crash.
#
#limit datasize 6m
umask 002
cd /u/staff/geoff/nomic
limit coredumpsize 6M
limit stacksize 5M
while ( 1 )
if -e new/NO_RESTART then
echo "new/NO_RESTART found; exiting."
exit 0
endif
if -x new/shat then
# echo -n "runm0: `hostname`: " >> mudlib/UPSINCE
# date >> mudlib/UPSINCE
new/shat -w -c -e
else
echo `date`': driver not found (server failure?) - sleeping'
sleep 300
endif
end