diff options
author | davor <vorgrimmlerdavid@gmx.de> | 2013-02-28 15:59:22 +0100 |
---|---|---|
committer | davor <vorgrimmlerdavid@gmx.de> | 2013-02-28 15:59:22 +0100 |
commit | cdd36f96a0e2c66a63d033b79a4608644c609cbb (patch) | |
tree | 424ef304f4a053e3a9089a325e2a6a0eb04c1398 | |
parent | 58f25b5b123331ac5480f34073a63e430370e0dc (diff) |
Update ot-tools-user.sh
Increased sleep time for 4s backend startup
-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 47f0f66..e4875e8 100644 --- a/ot-tools-user.sh +++ b/ot-tools-user.sh @@ -27,7 +27,7 @@ start_unicorn() { # @example start_unicorn algorithm 8081 start_4s() { nice bash -c "nohup $OT_PREFIX/4S/bin/4s-backend $1 >/dev/null 2>&1 &"; - sleep 2; + sleep 4; nice bash -c "nohup $OT_PREFIX/4S/bin/4s-httpd -H localhost -p $2 -s -1 $1 >/dev/null 2>&1 &"; #-D for testing sleep 1; |