Utilities/BackgroundService.py

changeset 4544
5145cf800bb0
parent 4236
8d4e498a7af8
child 4566
a2e8f3c420ec
diff -r 2e6a880670e9 -r 5145cf800bb0 Utilities/BackgroundService.py
--- a/Utilities/BackgroundService.py	Wed Nov 04 16:25:25 2015 +0100
+++ b/Utilities/BackgroundService.py	Wed Nov 04 16:40:08 2015 +0100
@@ -60,7 +60,7 @@
         
         port = self.serverPort()
         ## Note: Need the port if started external in debugger:
-        print('BackgroundService listening on: %i' % port)
+        print('BackgroundService listening on: {0:d}'.format(port))
         for pyName in ['Python', 'Python3']:
             interpreter = Preferences.getDebugger(
                 pyName + "Interpreter")

eric ide

mercurial