diff --git a/basice2e/run.sh b/basice2e/run.sh index 8ddebf53f1bda298a186658a3d186f3ef0b34db8..9b8ef94070e44a74e553adc249cb4285ca029dad 100755 --- a/basice2e/run.sh +++ b/basice2e/run.sh @@ -75,7 +75,7 @@ finish() { trap finish EXIT trap finish INT -sleep 15 # FIXME: We should not need this, but the servers don't respond quickly +sleep 20 # FIXME: We should not need this, but the servers don't respond quickly # enough on boot right now. runclients() {