UI/UserInterface.py

branch
maintenance
changeset 6747
09ad978cb776
parent 6646
51eefa621de4
child 6826
c6dda2cbe081
--- a/UI/UserInterface.py	Tue Feb 05 19:35:13 2019 +0100
+++ b/UI/UserInterface.py	Fri Feb 08 17:55:07 2019 +0100
@@ -6627,6 +6627,9 @@
             self.SAServer.shutdown()
             self.SAServer = None
         
+        # set proxy factory to None to avoid crashes
+        QNetworkProxyFactory.setApplicationProxyFactory(None)
+        
         Preferences.setGeometry("MainMaximized", self.isMaximized())
         if not self.isMaximized():
             Preferences.setGeometry("MainGeometry", self.saveGeometry())

eric ide

mercurial