From 7f972bd4c65d0ebc3c00d3a62280e766e4ff2e74 Mon Sep 17 00:00:00 2001
From: Viren6 <94880762+Viren6@users.noreply.github.com>
Date: Fri, 16 Aug 2024 15:54:48 +0100
Subject: [PATCH] Re-enable setting Threads option

Monty has SMP support now.
---
 server/montytest/api.py | 2 +-
 worker/games.py         | 5 ++---
 worker/sri.txt          | 2 +-
 worker/worker.py        | 2 +-
 4 files changed, 5 insertions(+), 6 deletions(-)

diff --git a/server/montytest/api.py b/server/montytest/api.py
index 98541bc2..bdf46030 100644
--- a/server/montytest/api.py
+++ b/server/montytest/api.py
@@ -34,7 +34,7 @@
 according to the route/URL mapping defined in `__init__.py`.
 """
 
-WORKER_VERSION = 8
+WORKER_VERSION = 9
 
 
 @exception_view_config(HTTPException)
diff --git a/worker/games.py b/worker/games.py
index 1172b060..30f1e05b 100644
--- a/worker/games.py
+++ b/worker/games.py
@@ -1242,9 +1242,8 @@ def parse_options(s):
     result["worker_info"]["nps"] = float(base_nps)
 
     threads_cmd = []
-    # This is disabled for now because monty doesn't have the Threads option
-    # if not any("Threads" in s for s in new_options + base_options):
-    #     threads_cmd = ["option.Threads={}".format(threads)]
+    if not any("Threads" in s for s in new_options + base_options):
+        threads_cmd = ["option.Threads={}".format(threads)]
 
     # If nodestime is being used, give engines extra grace time to
     # make time losses virtually impossible.
diff --git a/worker/sri.txt b/worker/sri.txt
index 894ed553..cf2b1ebd 100644
--- a/worker/sri.txt
+++ b/worker/sri.txt
@@ -1 +1 @@
-{"__version": 8, "updater.py": "gSJX/HbsPwsZnUZaFbAgF0zwWPWXv+LEw9jBhJkxFOrCH9CZS0+4U4nE2fJdeNze", "worker.py": "rFlovYBYNuqCmEJCNV1JRl1MmgHxEJLf/56xpVq39OSwy2HtxDwEhnwLz2V9EfNL", "games.py": "Gy3Y9/DisuptYUu/zV4ZViHUU/jSJ2a5WGSPyjP9hTRxDqV47xir4RBWhkh7IIbi"}
+{"__version": 9, "updater.py": "gSJX/HbsPwsZnUZaFbAgF0zwWPWXv+LEw9jBhJkxFOrCH9CZS0+4U4nE2fJdeNze", "worker.py": "CpPkp1BXzFPTAcGu/jprcPmOmwKUIOdwJVoMs04mydOm9/fN5MTCEjFv6OjQqxMG", "games.py": "l7/kK9dTab5z3RtSqlw1snkkAjJpj1JdM+o9QiefNVCSetQvUTMWpLT1t+e2Rt4u"}
diff --git a/worker/worker.py b/worker/worker.py
index b5d90ad0..08ff45d5 100644
--- a/worker/worker.py
+++ b/worker/worker.py
@@ -65,7 +65,7 @@
 MIN_CARGO_MAJOR = 1
 MIN_CARGO_MINOR = 77
 
-WORKER_VERSION = 8
+WORKER_VERSION = 9
 FILE_LIST = ["updater.py", "worker.py", "games.py"]
 HTTP_TIMEOUT = 30.0
 INITIAL_RETRY_TIME = 15.0