summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorot1 <andreas@maunz.de>2011-11-16 11:00:05 +0100
committerot1 <andreas@maunz.de>2011-11-16 11:00:05 +0100
commite675838dffb7826da8e71fa2b692afe6ef1d0869 (patch)
tree26189ed6831f821237bc39c11c49bdc6a5874657
parent361e1aaf080288a6ce64b73eb1c16fa17c191962 (diff)
Fixed otkill: only my processes
-rw-r--r--README4
1 files changed, 2 insertions, 2 deletions
diff --git a/README b/README
index 64efe39..7d06d5c 100644
--- a/README
+++ b/README
@@ -98,7 +98,7 @@ otreload() {
otkill() {
killall nginx >/dev/null 2>&1
bash -c "source $HOME/.opentox-ui.sh; redis-cli shutdown >/dev/null 2>&1"
- while ps ax | grep PassengerWatchdog | grep -v grep >/dev/null 2>&1; do sleep 1; done
- while ps ax | grep Rack | grep -v grep >/dev/null 2>&1; do sleep 1; done
+ while ps x | grep PassengerWatchdog | grep -v grep >/dev/null 2>&1; do sleep 1; done
+ while ps x | grep Rack | grep -v grep >/dev/null 2>&1; do sleep 1; done
for p in `pgrep -u $USER R 2>/dev/null`; do kill -9 $p; done
}