src/eric7/UI/UserInterface.py

branch
server
changeset 10630
552a790fd9bc
parent 10598
79c6ea2cb2e7
child 10633
dda7e43934dc
--- a/src/eric7/UI/UserInterface.py	Tue Feb 27 15:05:53 2024 +0100
+++ b/src/eric7/UI/UserInterface.py	Fri Mar 08 15:30:23 2024 +0100
@@ -592,13 +592,17 @@
             )
 
         self.__ericServerInterface.connectionStateChanged.connect(
+            self.project.remoteConnectionChanged
+        )
+        self.__ericServerInterface.connectionStateChanged.connect(
             self.viewmanager.remoteConnectionChanged
         )
         self.__ericServerInterface.connectionStateChanged.connect(
             self.shell.remoteConnectionChanged
         )
-        self.__ericServerInterface.connectionStateChanged.connect(
-            self.project.remoteConnectionChanged
+
+        self.__ericServerInterface.aboutToDisconnect.connect(
+            self.project.closeProject
         )
         self.__ericServerInterface.aboutToDisconnect.connect(
             self.viewmanager.closeRemoteEditors

eric ide

mercurial