diff options
author | davor <vorgrimmlerdavid@gmx.de> | 2012-12-12 11:39:22 +0100 |
---|---|---|
committer | davor <vorgrimmlerdavid@gmx.de> | 2012-12-12 11:39:22 +0100 |
commit | 68f02f70e46fbbf7aca4255bac55ea913cea1a62 (patch) | |
tree | 1d148db481d28196977f031e35ed7636e6e7458d | |
parent | 4aadc1e46fa97b51642f598296a870c3126594c7 (diff) |
Update ot-tools-user.sh
Increased start time for 4store.
-rw-r--r-- | ot-tools-user.sh | 4 |
1 files 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; } |