diff options
| author | Andreas Maunz <andreas@maunz.de> | 2011-11-17 09:36:12 +0100 |
|---|---|---|
| committer | Andreas Maunz <andreas@maunz.de> | 2011-11-17 09:36:12 +0100 |
| commit | 64e21f3e1916c989786a2c329e922f7932e330ee (patch) | |
| tree | 1870092dfcfa998f690cf290e9323412f9ee072b /ot-tools-user.sh | |
| parent | 025e9ed0ef3aae6cfd0b0f3c2c2e122d50ac008d (diff) | |
Fixed otkill (ohm port)
Diffstat (limited to 'ot-tools-user.sh')
| -rw-r--r-- | ot-tools-user.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ot-tools-user.sh b/ot-tools-user.sh index 64f26d3..ede3d7b 100644 --- a/ot-tools-user.sh +++ b/ot-tools-user.sh @@ -72,7 +72,7 @@ otreload() { # Kill the server otkill() { killall nginx >/dev/null 2>&1 - bash -c "source $HOME/.opentox-ui.sh; redis-cli shutdown >/dev/null 2>&1" + bash -c "source $HOME/.opentox-ui.sh; redis-cli -p $OHM_PORT shutdown >/dev/null 2>&1" while ps x | grep PassengerWatchdog | grep -v grep >/dev/null 2>&1; do sleep 1; done while ps x | grep Rack | grep -v grep >/dev/null 2>&1; do sleep 1; done for p in `pgrep -u $USER R 2>/dev/null`; do kill -9 $p; done |