#!/bin/csh
echo '-------------------- CLEANUP -------------------'
set pid = `ps -a | grep rmiregis | mycut` 
echo kill rmiregis pid: $pid
kill -9 $pid

set pid = `ps -a | grep java | mycut`
echo kill java pid: $pid
kill -9 $pid
echo '-------------------------------------------------'