diff --git a/basice2e/run.sh b/basice2e/run.sh index 9807dbad1db678b4b74eb20c925c31d35571c611..8ddebf53f1bda298a186658a3d186f3ef0b34db8 100755 --- a/basice2e/run.sh +++ b/basice2e/run.sh @@ -47,8 +47,6 @@ do echo "$SERVERCMD -- $PIDVAL" done -sleep 15 - # Start gateways for GWID in $(seq 5 -1 1) do @@ -77,7 +75,7 @@ finish() { trap finish EXIT trap finish INT -sleep 120 # FIXME: We should not need this, but the servers don't respond quickly +sleep 15 # FIXME: We should not need this, but the servers don't respond quickly # enough on boot right now. runclients() {