diff --git a/basice2e/run.sh b/basice2e/run.sh index e8a39dac4b2bcac1ac702ab75ab6926f9aabcd8a..13c37ced2b01c99406485038921ec6eb385669ed 100755 --- a/basice2e/run.sh +++ b/basice2e/run.sh @@ -50,8 +50,6 @@ do echo "$SERVERCMD -- $PIDVAL" done -sleep 15 # Give servers some time to boot - # Start gateways for GWID in $(seq 5 -1 1) do @@ -62,6 +60,8 @@ do echo "$GATEWAYCMD -- $PIDVAL" done +sleep 180 # Give servers some time to boot + jobs -p > results/serverpids