enable backend switching on-the-fly

2026-09-20 01:31:13 +02:00 · 2023-07-11 15:55:02 -04:00
parent 6d277305f6
commit ec99bad021
11 changed files with 86 additions and 45 deletions
@@ -801,4 +801,7 @@ def read_options():
    global opts # pylint: disable=global-statement
    if os.path.isfile(args.config):
        with open(args.config, "r", encoding="utf8") as file:
-            opts = json.load(file)
+            try:
+                opts = json.load(file)
+            except Exception as e:
+                log.error(f'Error reading options file: {file} {e}')