blob: f8d573babdb6ab68d33646c7fa0ebf7a58169a8d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#! /bin/sh
# $Id: killall,v 1.4 2019/12/10 23:48:58 tom Exp $
# Linux has a program that does this correctly.
. ./setup-vars
for prog in "$@"
do
pid=`ps -a |fgrep "$prog" |fgrep -v fgrep|sed -e 's/^[ ]*//' -e 's/ .*//' `
if test -n "$pid" ; then
echo "killing pid=$pid, $prog"
kill "-$SIG_HUP" "$pid" || \
kill "-$SIG_TERM" "$pid" || \
kill "-$SIG_KILL" "$pid"
fi
done
|
