changeset 3843 | 832bcf1b5b60 |
parent 3808 | 3e219f00151a |
--- a/runtime/PyroServer.py Mon Aug 07 18:17:12 2023 +0200 +++ b/runtime/PyroServer.py Thu Sep 28 17:56:03 2023 +0200 @@ -73,7 +73,8 @@ if self._to_be_published(): print(_("Publishing service on local network")) - sys.stdout.flush() + if sys.stdout: + sys.stdout.flush() def PyroLoop(self, when_ready): if self._to_be_published():