diff -r 362039519454 -r 7dd551ac2fa0 runtime/PyroServer.py --- a/runtime/PyroServer.py Thu Mar 07 21:57:18 2019 +0100 +++ b/runtime/PyroServer.py Mon Mar 11 01:03:32 2019 +0100 @@ -41,7 +41,9 @@ sys.stdout.flush() def PyroLoop(self, when_ready): - if self._to_be_published(): self.Publish() + if self._to_be_published(): + self.Publish() + while self.continueloop: Pyro.config.PYRO_MULTITHREADED = 0 pyro.initServer()