diff options
author | ot1 <andreas@maunz.de> | 2011-11-16 11:00:05 +0100 |
---|---|---|
committer | ot1 <andreas@maunz.de> | 2011-11-16 11:00:05 +0100 |
commit | e675838dffb7826da8e71fa2b692afe6ef1d0869 (patch) | |
tree | 26189ed6831f821237bc39c11c49bdc6a5874657 | |
parent | 361e1aaf080288a6ce64b73eb1c16fa17c191962 (diff) |
Fixed otkill: only my processes
-rw-r--r-- | README | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 } |