#!/bin/csh -f # do-cedar-command # developed by Pavel; made popular by Christian if ( { /project/cedar10.1/bin/ensure-cedar-server } ) then exec /project/cedar10.1/bin/peekcedar $* else exit (1) endif