# HG changeset patch
# User Edouard Tisserant <edouard.tisserant@gmail.com>
# Date 1710315501 -3600
# Node ID ec3c7e76f69455a37fe7ce434ad66ab55cfa3d49
# Parent  aa6b3e6eb90f91d2e75e55eb241d274225af34db
IDE: Fix local runtime not starting on windows.
Consequence of updating ProcessLogger's argument handling.

diff -r aa6b3e6eb90f -r ec3c7e76f694 LocalRuntimeMixin.py
--- a/LocalRuntimeMixin.py	Thu Mar 07 21:51:04 2024 +0100
+++ b/LocalRuntimeMixin.py	Wed Mar 13 08:38:21 2024 +0100
@@ -33,13 +33,13 @@
             self.local_runtime_log.write(_("Starting local runtime...\n"))
             # launch local runtime
             self.local_runtime = ProcessLogger(
-                self.local_runtime_log,
-                ("\"%s\" \"%s\" -p %s -i "+LocalHost+" %s %s") % (
+                self.local_runtime_log,[
                     LocalRuntimeInterpreterPath,
                     Bpath("Beremiz_service.py"),
-                    self.runtime_port,
+                    "-p", str(self.runtime_port),
+                    "-i", LocalHost,
                     {False: "-x 0", True: "-x 1"}[self.use_gui],
-                    self.local_runtime_tmpdir),
+                    self.local_runtime_tmpdir],
                 no_gui=False,
                 timeout=500, keyword=self.local_runtime_tmpdir,
                 cwd=self.local_runtime_tmpdir)