diff options
author | Andreas Maunz <andreas@maunz.de> | 2011-07-12 10:58:11 +0200 |
---|---|---|
committer | Andreas Maunz <andreas@maunz.de> | 2011-07-12 10:58:11 +0200 |
commit | 60b2cbaca5adef4d5806eac782a4c1af19896603 (patch) | |
tree | 5d4e7c7353a3ce55972fbe25c41993e226bf09f4 | |
parent | 3a58a09c23087428a4be5488aba5cf13cfbf1a9d (diff) |
Kill finished with Watchdog
-rw-r--r-- | README | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -99,6 +99,6 @@ otreload() { otkill() { sudo killall nginx >/dev/null 2>&1 sudo bash -c "source $HOME/.opentox-ui.sh; redis-cli shutdown >/dev/null 2>&1" - while ps ax | grep PassengerHelperAgent | grep -v grep >/dev/null 2>&1; do sleep 1; done + while ps ax | grep PassengerWatchdog | grep -v grep >/dev/null 2>&1; do sleep 1; done for p in `pgrep R 2>/dev/null`; do sudo kill -9 $p; done } |