Beremiz.py
changeset 271 ea7928fd07da
parent 268 66843376a982
child 290 3bd617ae7a05
equal deleted inserted replaced
270:3b8fb275cf7e 271:ea7928fd07da
   421         self.local_runtime_tmpdir = tempfile.mkdtemp()
   421         self.local_runtime_tmpdir = tempfile.mkdtemp()
   422         # choose an arbitrary random port for runtime
   422         # choose an arbitrary random port for runtime
   423         self.runtime_port = int(random.random() * 1000) + 61131
   423         self.runtime_port = int(random.random() * 1000) + 61131
   424         # launch local runtime
   424         # launch local runtime
   425         self.local_runtime = ProcessLogger(self.Log,
   425         self.local_runtime = ProcessLogger(self.Log,
   426                                            "\"%s\" \"%s\" -p %s -i localhost %s"%(sys.executable,
   426                                            "\"%s\" \"%s\" -p %s -i localhost -x 0 %s"%(sys.executable,
   427                                                        Bpath("Beremiz_service.py"),
   427                                                        Bpath("Beremiz_service.py"),
   428                                                        self.runtime_port,
   428                                                        self.runtime_port,
   429                                                        self.local_runtime_tmpdir),
   429                                                        self.local_runtime_tmpdir),
   430                                                        no_gui=False)
   430                                                        no_gui=False)
   431         
   431