Skip to content

Commit 449aff7

Browse files
vondeleppigazzini
authored andcommitted
Add a runtime error for crashing bench
1 parent d735c9b commit 449aff7

File tree

4 files changed

+6
-3
lines changed

4 files changed

+6
-3
lines changed

server/fishtest/api.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,7 @@
3636
according to the route/URL mapping defined in `__init__.py`.
3737
"""
3838

39-
WORKER_VERSION = 289
39+
WORKER_VERSION = 290
4040

4141

4242
@exception_view_config(HTTPException)

worker/games.py

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -461,6 +461,9 @@ def run_single_bench(engine, hash_size, threads, depth, timeout=600):
461461
p.kill()
462462
message = f"Bench of {engine.name} timed out after {timeout} seconds."
463463
raise RunException(message) from e
464+
if p.returncode != 0:
465+
message = f"Bench run failed with exit code {p.returncode}."
466+
raise RunException(message)
464467
for line in stderr_data.splitlines():
465468
if "Total time (ms)" in line:
466469
bench_time = float(line.split(": ")[1].strip())

worker/sri.txt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
{"__version": 289, "updater.py": "eDDBPKA/vrTCadgtEJFdL06vSoiysF0JhiHKdEnjQv3zS4kfdOAqnco/DJpDWbvh", "worker.py": "bgnWf+f2dtLGTOAKADNsJDHKFl22vMPUWl9PvSLpr3KjvM9eiVG4ElQj4btm17q0", "games.py": "0tDMMc0ERRFQ/F0fHdUy7Kd1BhHlHLcj3AqVnr8QT0w0pxwRgUFTNA7Ij+Oc2F9C"}
1+
{"__version": 290, "updater.py": "eDDBPKA/vrTCadgtEJFdL06vSoiysF0JhiHKdEnjQv3zS4kfdOAqnco/DJpDWbvh", "worker.py": "MJQKo3+YVs7IRSghrcV+vNb19W6laRXeff3TM3OcSQwWWQdPhYiqQ2VlCpRRdTdJ", "games.py": "GjU/+wm0eGC8ZHz8D3xEUK7T/Los+NrLenqH7m0m3qC2kY6I7f0v7krm5BiHCDUR"}

worker/worker.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -73,7 +73,7 @@
7373

7474
FASTCHESS_SHA = "9e4113ec2602506dea945be5ddca4b668086821c"
7575

76-
WORKER_VERSION = 289
76+
WORKER_VERSION = 290
7777
FILE_LIST = ["updater.py", "worker.py", "games.py"]
7878
HTTP_TIMEOUT = 30.0
7979
INITIAL_RETRY_TIME = 15.0

0 commit comments

Comments
 (0)