set 15min timeout

This commit is contained in:
Maximilian Keßler 2023-11-12 00:19:13 +01:00
parent ad7fbcc364
commit 323c09d3c5
Signed by: max
GPG key ID: BCC5A619923C0BA5

View file

@ -17,7 +17,7 @@ with open(DATA_FILE, 'r') as f:
def analyze_game(game_id: int): def analyze_game(game_id: int):
max_draw_pile_size = 15 max_draw_pile_size = 15
try: 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 raw_output = result.stdout
except subprocess.TimeoutExpired as time_err: except subprocess.TimeoutExpired as time_err:
raw_output = time_err.stdout raw_output = time_err.stdout