src/eric7/Project/Project.py

branch
eric7
changeset 10949
2057b1b198a5
parent 10888
84ab02a07803
child 10967
454391fb0bdf
diff -r 89b36a39fe69 -r 2057b1b198a5 src/eric7/Project/Project.py
--- a/src/eric7/Project/Project.py	Sat Oct 05 10:28:34 2024 +0200
+++ b/src/eric7/Project/Project.py	Sat Oct 05 11:35:07 2024 +0200
@@ -8009,6 +8009,14 @@
             self.closeProject(noSave=True)
 
     @pyqtSlot()
+    def remoteConnectionAboutToDisconnect(self):
+        """
+        Public slot to handle the imminent disconnect from an 'eric-ide' server.
+        """
+        if FileSystemUtilities.isRemoteFileName(self.ppath):
+            self.closeProject()
+
+    @pyqtSlot()
     def __openRemoteProject(self):
         """
         Private slot to open a project of an 'eric-ide' server.

eric ide

mercurial