imcserver/config/
imcserver/src/
#! /bin/csh -f

# Set limits.
if ( -e shutdown ) rm -f shutdown
limit coredumpsize unlimited
limit stacksize unlimited

while ( 1 )
    # Run IMC2 Server.
    ./server

    # Restart, giving old connections a chance to die.
    if ( -e shutdown ) then
	rm -f shutdown
	exit 0
    endif
    sleep 5
end