#!/bin/tcsh -f

kill_remote_processes -n gluon44 et2et
kill_remote_processes -n halldraid1 et2et
sleep 1
kill_remote_processes -n gluon44 et2et -9
kill_remote_processes -n halldraid1 et2et -9