Utilities/BackgroundService.py

changeset 4566
a2e8f3c420ec
parent 4544
5145cf800bb0
child 4631
5c1a96925da4
diff -r a6480863adfb -r a2e8f3c420ec Utilities/BackgroundService.py
--- a/Utilities/BackgroundService.py	Sun Nov 15 13:59:43 2015 +0100
+++ b/Utilities/BackgroundService.py	Sun Nov 15 14:29:20 2015 +0100
@@ -60,7 +60,7 @@
         
         port = self.serverPort()
         ## Note: Need the port if started external in debugger:
-        print('BackgroundService listening on: {0:d}'.format(port))
+        print('BackgroundService listening on: {0:d}'.format(port))     # __IGNORE_WARNING__
         for pyName in ['Python', 'Python3']:
             interpreter = Preferences.getDebugger(
                 pyName + "Interpreter")

eric ide

mercurial