summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndreas Maunz <andreas@maunz.de>2011-07-12 10:58:19 +0200
committerAndreas Maunz <andreas@maunz.de>2011-07-12 10:58:19 +0200
commitfd3edb3948052f0cd3bd888719aa83a7fb9ca794 (patch)
tree5d4e7c7353a3ce55972fbe25c41993e226bf09f4
parent1b7f8e9bc23101be2d71a7dc2d221a5358c26220 (diff)
parent60b2cbaca5adef4d5806eac782a4c1af19896603 (diff)
Merge branch 'release/v2.1.0' into development
-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
}