From 50faf0c3cbd7ce76fa388e9207a1e9993fd450f7 Mon Sep 17 00:00:00 2001
From: davor <vorgrimmlerdavid@gmx.de>
Date: Tue, 14 Feb 2012 12:10:06 +0100
Subject: Fixed PATH problem in otkill

---
 ot-tools-root.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3