Handle EXIT_SUCCESS and EXIT_FAILURE in format_returncode().

vdbergh · ppigazzini · commit ff54a1786bfa · 2025-12-11T18:49:43.000+01:00
Raise worker version to 305 (also server side).
diff --git a/server/fishtest/api.py b/server/fishtest/api.py
@@ -36,7 +36,7 @@
 according to the route/URL mapping defined in `__init__.py`.
 """
 
-WORKER_VERSION = 304
+WORKER_VERSION = 305
 
 
 @exception_view_config(HTTPException)
diff --git a/worker/games.py b/worker/games.py
@@ -115,10 +115,14 @@ def str_signal(signal_):
 def format_returncode(r):
     if r < 0:
         return str_signal(-r)
-    elif r >= 256:
-        return str(hex(r))
-    else:
+    elif r == 0:
+        return "EXIT_SUCCESS"
+    elif r == 1:
+        return "EXIT_FAILURE"
+    elif r < 256:
         return str(r)
+    else:
+        return str(hex(r))
 
 
 def send_ctrl_c(pid):
diff --git a/worker/sri.txt b/worker/sri.txt
@@ -1 +1 @@
-{"__version": 304, "updater.py": "eDDBPKA/vrTCadgtEJFdL06vSoiysF0JhiHKdEnjQv3zS4kfdOAqnco/DJpDWbvh", "worker.py": "L/noj+51EmTKTzGL5vTKl9rki7nn+TOowWvM6sGEUZFSis4QJkIKdLH6qpjEyvnk", "games.py": "KDn7eZC50NL6oraC27K59dfg0pKTUeDwvIucw6xTC8L7vm0nsMW3npm+qeTiEoST"}
+{"__version": 305, "updater.py": "eDDBPKA/vrTCadgtEJFdL06vSoiysF0JhiHKdEnjQv3zS4kfdOAqnco/DJpDWbvh", "worker.py": "Y0kkVAk+3q3+HuWmVqgcPx7/h+CoLyPihLUszUGrvphfzNn55qXwqC+xh0fPz/Zt", "games.py": "uUpIoWu/jB6IoWN4aqSmRvtb7chhVswcFqIiT+G/cKNUWTam8ARxMZARNmTqGQ9p"}
diff --git a/worker/worker.py b/worker/worker.py
@@ -74,7 +74,7 @@
 
 FASTCHESS_SHA = "e892ad92a74c8a4fd7184b9e4867b97ae8952685"
 
-WORKER_VERSION = 304
+WORKER_VERSION = 305
 FILE_LIST = ["updater.py", "worker.py", "games.py"]
 HTTP_TIMEOUT = 30.0
 INITIAL_RETRY_TIME = 15.0

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-{"__version": 304, "updater.py": "eDDBPKA/vrTCadgtEJFdL06vSoiysF0JhiHKdEnjQv3zS4kfdOAqnco/DJpDWbvh", "worker.py": "L/noj+51EmTKTzGL5vTKl9rki7nn+TOowWvM6sGEUZFSis4QJkIKdLH6qpjEyvnk", "games.py": "KDn7eZC50NL6oraC27K59dfg0pKTUeDwvIucw6xTC8L7vm0nsMW3npm+qeTiEoST"}`
	`1`	`+{"__version": 305, "updater.py": "eDDBPKA/vrTCadgtEJFdL06vSoiysF0JhiHKdEnjQv3zS4kfdOAqnco/DJpDWbvh", "worker.py": "Y0kkVAk+3q3+HuWmVqgcPx7/h+CoLyPihLUszUGrvphfzNn55qXwqC+xh0fPz/Zt", "games.py": "uUpIoWu/jB6IoWN4aqSmRvtb7chhVswcFqIiT+G/cKNUWTam8ARxMZARNmTqGQ9p"}`