runtime/PyroServer.py
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():