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