diff --git a/basice2e/registration.json b/basice2e/registration.json index acdc6c232f5f0e74bd7b690ab069772354e244ae..daa829dd8c9416552ce613b6fd6e40425f283c67 100644 --- a/basice2e/registration.json +++ b/basice2e/registration.json @@ -1,5 +1,5 @@ { - "TeamSize": 3, + "TeamSize": 5, "BatchSize": 32, "MinimumDelay": 1000, "RealtimeDelay": 5000, diff --git a/basice2e/run.sh b/basice2e/run.sh index 3048cdad5ff351845d87e22ed5774b935e422dcc..112c556efbbd1d5ca3b1b7c1135785a57ecf47f2 100755 --- a/basice2e/run.sh +++ b/basice2e/run.sh @@ -139,7 +139,7 @@ then echo -n "Waiting for a round to run" while [ ! -s rid.txt ] && [ $cnt -lt 120 ]; do sleep 1 - grep -a "RID 1 ReceiveFinishRealtime END" results/servers/server-5.log > rid.txt || true + grep -a "RID 1 ReceiveFinishRealtime END" results/servers/server-* > rid.txt || true cnt=$(($cnt + 1)) echo -n "." done