2 # $Id: killall,v 1.4 2019/12/10 23:48:58 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" || \
14 kill "-$SIG_KILL" "$pid"