Bots: vent op til 20 minutter på et helt spil
CI / test (push) Successful in 1m10s

Tegn og Gæt med 10 spillere tog 8 m 48 s, tæt på den gamle grænse.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
agw
2026-10-20 19:46:49 +02:00
co-authored by Claude Opus 5.5
parent f9066bf6af
commit 7367b72505
+2 -2
View File
@@ -242,9 +242,9 @@ async def main():
for i in range(args.audience):
tasks.append(asyncio.create_task(player(ws_base, code, f"Publikum{i + 1}", args.players, done, rng, game=args.game)))
try:
await asyncio.wait_for(done.wait(), timeout=600)
await asyncio.wait_for(done.wait(), timeout=1200) # Tegn og Gæt med 10 spillere tager knap 9 minutter
except asyncio.TimeoutError:
print("Spillet blev ikke færdigt inden for 10 minutter", file=sys.stderr)
print("Spillet blev ikke færdigt inden for 20 minutter", file=sys.stderr)
return 1
for t in tasks:
t.cancel()