diff -r 17df7a729d94 -r f85288918089 Utilities/BackgroundService.py
--- a/Utilities/BackgroundService.py Sat Jun 02 12:42:59 2018 +0200
+++ b/Utilities/BackgroundService.py Sat Jun 02 18:53:35 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)
