From 6798d2076e407ce66d97d436e7e9ee1166c81856 Mon Sep 17 00:00:00 2001 From: gobbo_a Date: Fri, 26 Aug 2022 11:24:07 +0200 Subject: [PATCH] Script execution --- script/local.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/script/local.py b/script/local.py index 9fef1bb..81eca04 100644 --- a/script/local.py +++ b/script/local.py @@ -113,9 +113,10 @@ stop_event = None parameter_queue = None statistics =None current_pipeline = None +pipeline_port = None def start_pipeline(name, parameters, port=DEFAULT_PIPELINE_PORT): - global stop_event, parameter_queue, statistics, current_pipeline, parameter_queue, statistics + global stop_event, parameter_queue, statistics, current_pipeline, parameter_queue, statistics, pipeline_port if name is None: raise Exception("Pipeline name undefined") stop_pipeline();