#!/bin/csh -f

#
# $Id: StopHammer,v 1.1.1.1 2000/11/29 13:19:40 dredd Exp $
#
# $Source: /cvsroot/hammerhead/hammerhead/bin/StopHammer,v $
# $Revision: 1.1.1.1 $
# $Date: 2000/11/29 13:19:40 $
# $State: Exp $
#

if ( $#argv != 0 ) then
	echo "Usage: $0"
	exit 0
endif

kill -HUP `ps -ef | grep hammer | grep $USER | grep -v grep | tr -s " " | cut -d' ' -f3`
