summaryrefslogtreecommitdiff
path: root/Build/source/utils/dialog/dialog-1.1-20080819/samples/killall
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2009-03-20 10:17:20 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2009-03-20 10:17:20 +0000
commit271d5c18b3f17c605d78fc469361c2413bd5e1e8 (patch)
tree7a86505144675c94f9b31e0aa044ded15e61c46a /Build/source/utils/dialog/dialog-1.1-20080819/samples/killall
parente8b20fd294c403053ac130d3f576c19b4c578b8b (diff)
new build system
git-svn-id: svn://tug.org/texlive/trunk@12460 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/utils/dialog/dialog-1.1-20080819/samples/killall')
-rwxr-xr-xBuild/source/utils/dialog/dialog-1.1-20080819/samples/killall13
1 files changed, 0 insertions, 13 deletions
diff --git a/Build/source/utils/dialog/dialog-1.1-20080819/samples/killall b/Build/source/utils/dialog/dialog-1.1-20080819/samples/killall
deleted file mode 100755
index 9d233f0a92d..00000000000
--- a/Build/source/utils/dialog/dialog-1.1-20080819/samples/killall
+++ /dev/null
@@ -1,13 +0,0 @@
-#! /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