From 1596988e9b9b79bd11c45d8a31b93310777283f7 Mon Sep 17 00:00:00 2001 From: Joost VandeVondele Date: Mon, 22 Jul 2024 17:19:06 +0200 Subject: [PATCH] run_seed to 64bit --- worker/games.py | 2 +- worker/sri.txt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/worker/games.py b/worker/games.py index 0e38f241c..37025b059 100644 --- a/worker/games.py +++ b/worker/games.py @@ -1244,7 +1244,7 @@ def run_games( if "start" in task: print("Variable task sizes used. Opening offset = {}".format(opening_offset)) start_game_index = opening_offset + input_total_games - run_seed = int(hashlib.sha1(run["_id"].encode("utf-8")).hexdigest(), 16) % (2**30) + run_seed = int(hashlib.sha1(run["_id"].encode("utf-8")).hexdigest(), 16) % (2**64) # Format options according to fast-chess syntax. def parse_options(s): diff --git a/worker/sri.txt b/worker/sri.txt index 251f80e7f..8950367ea 100644 --- a/worker/sri.txt +++ b/worker/sri.txt @@ -1 +1 @@ -{"__version": 242, "updater.py": "Mg+pWOgGA0gSo2TuXuuLCWLzwGwH91rsW1W3ixg3jYauHQpRMtNdGnCfuD1GqOhV", "worker.py": "MCl1VBsGmNS09sPurO7+yEczSqeGA2PV44EBHyDqA5UFhEiDxKkoGbuqhw38hbDz", "games.py": "2ZEQMyBYdSIk7e7Z1jsorBD33E9cKqrryCci0NfYDhoKdZCWbKH8tNqQnhNSFgDL"} +{"__version": 242, "updater.py": "Mg+pWOgGA0gSo2TuXuuLCWLzwGwH91rsW1W3ixg3jYauHQpRMtNdGnCfuD1GqOhV", "worker.py": "MCl1VBsGmNS09sPurO7+yEczSqeGA2PV44EBHyDqA5UFhEiDxKkoGbuqhw38hbDz", "games.py": "BzNVX1zlHRuMtutT24IaZHA1O0f8EOL0aiPQUB3ET9G8vf4ig6W+FSza3JRdIi6M"}