Sun, 07 Feb 2016 15:18:17 +0100
Fixed a forgotten close() call in the web browser window. (grafted from 7b77980d3255cfbdb11c93f49d97d6cae4c167b1)
--- a/Helpviewer/HelpWindow.py Sat Feb 06 12:31:51 2016 +0100 +++ b/Helpviewer/HelpWindow.py Sun Feb 07 15:18:17 2016 +0100 @@ -2252,6 +2252,8 @@ self.syncManager().close() + self.zoomManager().close() + self.__virusTotal.close() self.flashCookieManager().shutdown()