--- a/src/eric7/WebBrowser/WebBrowserWindow.py Fri Nov 29 10:55:01 2024 +0100 +++ b/src/eric7/WebBrowser/WebBrowserWindow.py Fri Nov 29 11:55:02 2024 +0100 @@ -3412,6 +3412,9 @@ if WebBrowserWindow._safeBrowsingManager: self.safeBrowsingManager().close() + if self.SAServer is not None: + self.SAServer.shutdown() + for browser in WebBrowserWindow.BrowserWindows: if browser != self: browser.close()