summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--README1
1 files changed, 1 insertions, 0 deletions
diff --git a/README b/README
index a3c5ec1..375d22f 100644
--- a/README
+++ b/README
@@ -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
}