IDE: Fix local runtime not starting on windows.
authorEdouard Tisserant <edouard.tisserant@gmail.com>
Wed, 13 Mar 2024 08:38:21 +0100
changeset 3911 ec3c7e76f694
parent 3910 aa6b3e6eb90f
child 3912 050f227a2848
IDE: Fix local runtime not starting on windows.
Consequence of updating ProcessLogger's argument handling.
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)