BeremizIDE.py
changeset 1734 750eeb7230a1
parent 1732 94ffe74e6895
child 1736 7e61baa047f0
equal deleted inserted replaced
1733:dea107dce0c4 1734:750eeb7230a1
   477             self.local_runtime_tmpdir = tempfile.mkdtemp()
   477             self.local_runtime_tmpdir = tempfile.mkdtemp()
   478             # choose an arbitrary random port for runtime
   478             # choose an arbitrary random port for runtime
   479             self.runtime_port = int(random.random() * 1000) + 61131
   479             self.runtime_port = int(random.random() * 1000) + 61131
   480             # launch local runtime
   480             # launch local runtime
   481             self.local_runtime = ProcessLogger(self.Log,
   481             self.local_runtime = ProcessLogger(self.Log,
   482                 "\"%s\" \"%s\" -p %s -i localhost %s %s"%(
   482                 "\"%s\" \"%s\" -p %s -i localhost %s %s" % (
   483                     sys.executable,
   483                     sys.executable,
   484                     Bpath("Beremiz_service.py"),
   484                     Bpath("Beremiz_service.py"),
   485                     self.runtime_port,
   485                     self.runtime_port,
   486                     {False : "-x 0", True :"-x 1"}[taskbaricon],
   486                     {False : "-x 0", True :"-x 1"}[taskbaricon],
   487                     self.local_runtime_tmpdir),
   487                     self.local_runtime_tmpdir),