#!/bin/csh

#Test for the cm stop_server command
#User: 'anyone' CMDOMAIN: Cascina

source ../cmt/setup.csh
cmdomain Cascina

${CMROOT}/${CMCONFIG}/cm.exe stop_server

sleep 5

${CMROOT}/${CMCONFIG}/cm.exe names

exit 0
