2 # $Id: killall,v 1.3 2012/06/29 09:39:19 tom Exp $
3 # Linux has a program that does this correctly.
9 pid=`ps -a |fgrep $prog |fgrep -v fgrep|sed -e 's/^[ ]*//' -e 's/ .*//' `
10 if test -n "$pid" ; then
11 echo killing pid=$pid, $prog
12 kill -$SIG_HUP $pid || \
13 kill -$SIG_TERM $pid || \