From b8b92ace64f7f99d6e0697385f85647eb65e2946 Mon Sep 17 00:00:00 2001 From: Fabian Neumann Date: Mon, 22 Jul 2024 17:35:50 +0200 Subject: [PATCH] common.smk: make solver_threads also look for capitalised 'Threads' --- rules/common.smk | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/rules/common.smk b/rules/common.smk index a7131334..ef518beb 100644 --- a/rules/common.smk +++ b/rules/common.smk @@ -81,7 +81,8 @@ def config_provider(*keys, default=None): def solver_threads(w): solver_options = config_provider("solving", "solver_options")(w) option_set = config_provider("solving", "solver", "options")(w) - threads = solver_options[option_set].get("threads", 4) + solver_option_set = solver_options[option_set] + threads = solver_option_set.get("threads") or solver_option_set.get("Threads") or 4 return threads