#!/bin/sh
# kills all processes which have $* in its name
# $Id: killer,v 1.2 2000/05/05 12:54:41 kiefer Exp $
PIDS=`ps -xa | grep $* | awk '{print $1}'`
for pid in ${PIDS} 
do
	echo killing pid $pid
	kill -9 $pid
done

