#!/bin/sh
# killpr - kill all premind processes I own
# Waleed Muhanna (wmuhanna@magnus.acs.ohio-state.edu) 12/92

set x `ps x | awk '/:[0-9][0-9] ([^ ]*\/p|p)remind( |$)/ {print $1}'`; shift
case $# in
	0)	echo -n "No Premind processes found";;
	1)	kill -9 $* ; 
		echo -n "Found and terminated 1 Premind process";;
	*)	kill -9 $* ; 
		echo -n "Found and terminated $# Premind processes";;
esac
echo " for $USER."
exit 0
