diff options
Diffstat (limited to 'README')
| -rw-r--r-- | README | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -98,7 +98,7 @@ otreload() { otkill() { killall nginx >/dev/null 2>&1 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 + 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 } |