diff --git a/basice2e/run.sh b/basice2e/run.sh index e27c29805c6025c9e6ce17a4c2aca864d4a2f86b..c7157effe08bc386f39469f4894436aaf9c69b30 100755 --- a/basice2e/run.sh +++ b/basice2e/run.sh @@ -80,7 +80,8 @@ trap finish INT # Sleeps can die in a fire on the sun, we wait for the servers to start running # rounds -touch rid.txt || rm rid.txt || touch rid.txt +rm rid.txt || true +touch rid.txt cnt=0 echo -n "Waiting for a round to run" while [ ! -s rid.txt ] && [ $cnt -lt 120 ]; do