summaryrefslogtreecommitdiff
path: root/util/kill
diff options
context:
space:
mode:
authorPatrick Simianer <p@simianer.de>2016-06-07 17:16:22 +0200
committerPatrick Simianer <p@simianer.de>2016-06-07 17:16:22 +0200
commit9df3b86e6a5b087d441c161c03a6fb3298943864 (patch)
treed9e1c9f8d8e6794ba6834ec5938d5c08975f48f7 /util/kill
parent6c62dc57ae90fc6b016da507cae22d96fc128af2 (diff)
parent457ab6312a19281e1c33b54411cb13878913e774 (diff)
Merge branch 'master' of github.com:pks/lfpe
Diffstat (limited to 'util/kill')
-rwxr-xr-xutil/kill2
1 files changed, 1 insertions, 1 deletions
diff --git a/util/kill b/util/kill
index c951fc9..e82f822 100755
--- a/util/kill
+++ b/util/kill
@@ -1,4 +1,4 @@
#!/bin/bash
-for i in {1..6}; do ps ax | grep -P "(server.rb|wrapper.rb|atools|net_fa|sa.extract|dtrain)" | grep -v vim | grep -v -P "^\s\+$" | cut -d " " -f $i | xargs kill -9 &>/dev/null; done
+for i in {1..6}; do ps ax | grep -P "(server.rb|wrapper.rb|atools|net_fa|sa.extract|dtrain|truecase.perl)" | grep -v vim | grep -v -P "^\s\+$" | cut -d " " -f $i | xargs kill -9 &>/dev/null; done