From 323c09d3c55ba112914d9bd3401afd7a6a339894 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Sun, 12 Nov 2023 00:19:13 +0100 Subject: [PATCH] set 15min timeout --- endgames.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/endgames.py b/endgames.py index 25748f5..d1cf82e 100644 --- a/endgames.py +++ b/endgames.py @@ -17,7 +17,7 @@ with open(DATA_FILE, 'r') as f: def analyze_game(game_id: int): max_draw_pile_size = 15 try: - result = subprocess.run(['./endgame-analyzer', '-g', str(game_id), '-d', str(max_draw_pile_size), '--interactive', '0', '--quiet', '-r'], stdout=subprocess.PIPE, timeout=10) + result = subprocess.run(['./endgame-analyzer', '-g', str(game_id), '-d', str(max_draw_pile_size), '--interactive', '0', '--quiet', '-r'], stdout=subprocess.PIPE, timeout=60*15) raw_output = result.stdout except subprocess.TimeoutExpired as time_err: raw_output = time_err.stdout