src/eric7/WebBrowser/WebBrowserWindow.py

branch
eric7
changeset 11057
b60d032f6ee4
parent 11006
a671918232f3
child 11090
f5f5f5803935
--- 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()

eric ide

mercurial