#/bin/csh
setenv NOMOS /export/home/nomos/server/nomos
/export/home/nomos/server/nomos/bin/killnomos

