From cdd36f96a0e2c66a63d033b79a4608644c609cbb Mon Sep 17 00:00:00 2001
From: davor <vorgrimmlerdavid@gmx.de>
Date: Thu, 28 Feb 2013 15:59:22 +0100
Subject: Update ot-tools-user.sh

Increased sleep time for 4s backend startup
---
 ot-tools-user.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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