summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndreas Maunz <andreas@maunz.de>2011-07-12 10:58:11 +0200
committerAndreas Maunz <andreas@maunz.de>2011-07-12 10:58:11 +0200
commit60b2cbaca5adef4d5806eac782a4c1af19896603 (patch)
tree5d4e7c7353a3ce55972fbe25c41993e226bf09f4
parent3a58a09c23087428a4be5488aba5cf13cfbf1a9d (diff)
Kill finished with Watchdog
-rw-r--r--README2
1 files changed, 1 insertions, 1 deletions
diff --git a/README b/README
index 6dd6880..8d86513 100644
--- a/README
+++ b/README
@@ -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
}