diff options
author | davor <vorgrimmlerdavid@gmx.de> | 2012-02-14 12:10:06 +0100 |
---|---|---|
committer | davor <vorgrimmlerdavid@gmx.de> | 2012-02-14 12:10:06 +0100 |
commit | 50faf0c3cbd7ce76fa388e9207a1e9993fd450f7 (patch) | |
tree | 3f5bb9413382a907360da66ba857fb264aac1867 | |
parent | 6f754e8504fbf1f47339f5485b01820833d5e2a1 (diff) |
Fixed PATH problem in otkill
-rw-r--r-- | ot-tools-root.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ot-tools-root.sh b/ot-tools-root.sh index da3bd69..064ea29 100644 --- a/ot-tools-root.sh +++ b/ot-tools-root.sh @@ -75,7 +75,7 @@ otreload() { otkill() { otconfig sudo killall -u root nginx >/dev/null 2>&1 - sudo bash -c "redis-cli -p $OHM_PORT shutdown >/dev/null 2>&1" + sudo bash -c "source $HOME/.opentox-ui.sh; redis-cli -p $OHM_PORT shutdown >/dev/null 2>&1" while sudo ps x | grep PassengerWatchdog | grep -v grep >/dev/null 2>&1; do sleep 1; done while sudo ps x | grep Rack | grep -v grep >/dev/null 2>&1; do sleep 1; done for p in `pgrep -u root R 2>/dev/null`; do sudo kill -9 $p; done |