From 3347de3dbb33befa5a6ad80cfa42bcac8c633f13 Mon Sep 17 00:00:00 2001 From: fy59 Date: Tue, 22 Sep 2026 13:34:39 +0200 Subject: [PATCH] fix(sync): reject boolean worker timeout --- tools/sync_orchestrator.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/sync_orchestrator.py b/tools/sync_orchestrator.py index 2a0bb72..0d1abba 100644 --- a/tools/sync_orchestrator.py +++ b/tools/sync_orchestrator.py @@ -364,7 +364,7 @@ def run(args: argparse.Namespace) -> int: ): raise RuntimeError("invalid expected peer identity") timeout = config["timeout_seconds"] - if not isinstance(timeout, int) or timeout < 1 or timeout > 900: + if type(timeout) is not int or timeout < 1 or timeout > 900: raise RuntimeError("invalid worker timeout") # CONTRACT: this is the same XDG data-directory lock used by the legacy # C engine, so Web, TUI and daemon admissions cannot overlap.