#!/bin/csh -f
# exits a cedar server world
/project/cedar10.1/bin/peekcedar ExitWorld