From 68f02f70e46fbbf7aca4255bac55ea913cea1a62 Mon Sep 17 00:00:00 2001
From: davor <vorgrimmlerdavid@gmx.de>
Date: Wed, 12 Dec 2012 11:39:22 +0100
Subject: Update ot-tools-user.sh

Increased start time for 4store.
---
 ot-tools-user.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ot-tools-user.sh b/ot-tools-user.sh
index bb036ef..b9b2d7e 100644
--- a/ot-tools-user.sh
+++ b/ot-tools-user.sh
@@ -27,9 +27,9 @@ 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 0.5;
+  sleep 2;
   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 0.5;
+  sleep 1;
 
 }
 
-- 
cgit v1.2.3