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()