8007 ) |
8007 ) |
8008 if not connected and FileSystemUtilities.isRemoteFileName(self.ppath): |
8008 if not connected and FileSystemUtilities.isRemoteFileName(self.ppath): |
8009 self.closeProject(noSave=True) |
8009 self.closeProject(noSave=True) |
8010 |
8010 |
8011 @pyqtSlot() |
8011 @pyqtSlot() |
|
8012 def remoteConnectionAboutToDisconnect(self): |
|
8013 """ |
|
8014 Public slot to handle the imminent disconnect from an 'eric-ide' server. |
|
8015 """ |
|
8016 if FileSystemUtilities.isRemoteFileName(self.ppath): |
|
8017 self.closeProject() |
|
8018 |
|
8019 @pyqtSlot() |
8012 def __openRemoteProject(self): |
8020 def __openRemoteProject(self): |
8013 """ |
8021 """ |
8014 Private slot to open a project of an 'eric-ide' server. |
8022 Private slot to open a project of an 'eric-ide' server. |
8015 """ |
8023 """ |
8016 fn = EricServerFileDialog.getOpenFileName( |
8024 fn = EricServerFileDialog.getOpenFileName( |