diff options
author | Andreas Maunz <andreas@maunz.de> | 2011-07-29 13:43:46 +0200 |
---|---|---|
committer | Andreas Maunz <andreas@maunz.de> | 2011-07-29 13:43:46 +0200 |
commit | 911ff60c24b768b64ea1e1063dfa0225cae8ab69 (patch) | |
tree | a11d28d287fa2cdaaf8a66755c8e15f9ef6570ae | |
parent | 10aeb5a88d6816487be1600463b1b34253ed2e51 (diff) |
Waiting for RACK
-rw-r--r-- | README | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -99,5 +99,6 @@ 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 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 for p in `pgrep R 2>/dev/null`; do sudo kill -9 $p; done } |