Sun, 03 Jun 2018 11:30:57 +0200
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)