From 7367b72505f2006280892a87aa7f0cc88f96e4d7 Mon Sep 17 00:00:00 2001 From: Asger Geel Weirsoee Date: Tue, 20 Oct 2026 19:46:49 +0200 Subject: [PATCH] =?UTF-8?q?Bots:=20vent=20op=20til=2020=20minutter=20p?= =?UTF-8?q?=C3=A5=20et=20helt=20spil?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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 --- deploy/bots.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/deploy/bots.py b/deploy/bots.py index a37c9bb..2b284ae 100644 --- a/deploy/bots.py +++ b/deploy/bots.py @@ -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()