From 559cd7367f1cd4f44509417e0e0ebce07f2c0c7d Mon Sep 17 00:00:00 2001 From: gobbo_a Date: Fri, 26 Aug 2022 11:25:07 +0200 Subject: [PATCH] Script execution --- script/local.py | 1 + 1 file changed, 1 insertion(+) diff --git a/script/local.py b/script/local.py index 81eca04..4dea0a2 100644 --- a/script/local.py +++ b/script/local.py @@ -121,6 +121,7 @@ def start_pipeline(name, parameters, port=DEFAULT_PIPELINE_PORT): raise Exception("Pipeline name undefined") stop_pipeline(); current_pipeline = name + pipeline_port = port stop_event = threading.Event() parameter_queue = queue.Queue() statistics = Namespace()