diff --git a/basice2e/run.sh b/basice2e/run.sh index feea3ceb4e1b69c1cc5292a911e5e87a91be4317..097ea8105d59c7b5f8fc11545995cb3d1af1ce5f 100755 --- a/basice2e/run.sh +++ b/basice2e/run.sh @@ -82,7 +82,7 @@ cnt=0 echo -n "Waiting for a round to run" while [ ! -s rid.txt ] && [ $cnt -lt 120 ]; do sleep 1 - cat results/servers/server-5.log | grep "RID 1 ReceiveFinishRealtime END" > rid.txt || true + cat results/servers/server-5.log | grep "RID 0 ReceiveFinishRealtime END" > rid.txt || true cnt=$(($cnt + 1)) echo -n "." done