equal
deleted
inserted
replaced
413 self.local_runtime_tmpdir = tempfile.mkdtemp() |
413 self.local_runtime_tmpdir = tempfile.mkdtemp() |
414 # choose an arbitrary random port for runtime |
414 # choose an arbitrary random port for runtime |
415 runtime_port = int(random.random() * 1000) + 61131 |
415 runtime_port = int(random.random() * 1000) + 61131 |
416 # launch local runtime |
416 # launch local runtime |
417 self.local_runtime = ProcessLogger(self.Log, |
417 self.local_runtime = ProcessLogger(self.Log, |
418 "%s %s -p %s -i localhost %s"%(sys.executable, |
418 "\"%s\" \"%s\" -p %s -i localhost %s"%(sys.executable, |
419 Bpath("Beremiz_service.py"), |
419 Bpath("Beremiz_service.py"), |
420 runtime_port, |
420 runtime_port, |
421 self.local_runtime_tmpdir), |
421 self.local_runtime_tmpdir), |
422 no_gui=False) |
422 no_gui=False) |
423 |
423 |