summaryrefslogtreecommitdiff
path: root/Build/source/utils/dialog/dialog-1.1-20100428/samples/killall
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2010-11-08 08:01:35 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2010-11-08 08:01:35 +0000
commit96d20af0f5c73740cf97266de570a4ab5834d2cb (patch)
tree44fdfac92008fccd2685a1787effc0f407190746 /Build/source/utils/dialog/dialog-1.1-20100428/samples/killall
parentf9c24195f8a9031f5e55a7b4a3b297a8ac8ab157 (diff)
dialog 1.1-20100428
git-svn-id: svn://tug.org/texlive/trunk@20366 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/utils/dialog/dialog-1.1-20100428/samples/killall')
-rwxr-xr-xBuild/source/utils/dialog/dialog-1.1-20100428/samples/killall13
1 files changed, 13 insertions, 0 deletions
diff --git a/Build/source/utils/dialog/dialog-1.1-20100428/samples/killall b/Build/source/utils/dialog/dialog-1.1-20100428/samples/killall
new file mode 100755
index 00000000000..9d233f0a92d
--- /dev/null
+++ b/Build/source/utils/dialog/dialog-1.1-20100428/samples/killall
@@ -0,0 +1,13 @@
+#! /bin/sh
+# $Id: killall,v 1.2 2004/09/17 19:56:18 tom Exp $
+# Linux has a program that does this correctly.
+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 -1 $pid || \
+ kill -15 $pid || \
+ kill -9 $pid
+ fi
+done