Merged with remote changes.

Sun, 03 Jun 2018 11:30:57 +0200

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Sun, 03 Jun 2018 11:30:57 +0200
changeset 6323
610b676336be
parent 6322
cb7d2ab9c9f5 (current diff)
parent 6321
f85288918089 (diff)
child 6324
b11c36cba2a1

Merged with remote changes.

--- a/Utilities/BackgroundService.py	Sun Jun 03 11:30:15 2018 +0200
+++ b/Utilities/BackgroundService.py	Sun Jun 03 11:30:57 2018 +0200
@@ -419,8 +419,8 @@
             fx, lng, fn, data = self.runningJob
             if fx != 'INIT' and lng == lang:
                 self.services[(fx, lng)][3](fx, lng, fn, self.tr(
-                    'Erics background client disconnected because of an'
-                    ' unknown reason.')
+                    "Eric's background client disconnected because of an"
+                    " unknown reason.")
                 )
             self.isWorking = None
             
@@ -438,8 +438,10 @@
     def shutdown(self):
         """
         Public method to cleanup the connections and processes when eric is
-        shuting down.
+        shutting down.
         """
+        self.close()
+        
         for connection in self.connections.values():
             # Prevent calling of on_disconnectSocket
             connection.blockSignals(True)

eric ide

mercurial