#!/usr/local/bin/tcsh

# This script finds a program (daemon) named ben__d, and kills it with
# the kill -9 <PID> call..

#get the right 'ps' line..
set STR = `ps -aux | grep ben__d | grep -v grep`
#echo "$STR"

#get the right column (pid column)
set PID = $STR[2]

#echo "$PID"
#kill it.
kill -9 $PID

echo "Killed process# $PID."

