--- a/WebBrowser/Network/NetworkManager.py Sun Mar 06 17:45:24 2016 +0100 +++ b/WebBrowser/Network/NetworkManager.py Sun Mar 06 18:54:18 2016 +0100 @@ -102,6 +102,15 @@ self.__loaded = True + def shutdown(self): + """ + Public method to shut down the network manager. + """ + self.__saveTimer.saveIfNeccessary() + self.__loaded = False + self.__temporarilyIgnoredSslErrors = {} + self.__permanentlyIgnoredSslErrors = {} + def showSslErrorExceptionsDialog(self): """ Public method to show the SSL error exceptions dialog. @@ -122,6 +131,7 @@ self.__permanentlyIgnoredSslErrors = {} self.changed.emit() + self.__saveTimer.saveIfNeccessary() def certificateError(self, error, view): """