summaryrefslogtreecommitdiff
path: root/ot-tools-user.sh
diff options
context:
space:
mode:
Diffstat (limited to 'ot-tools-user.sh')
-rw-r--r--ot-tools-user.sh2
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;