575 ) |
575 ) |
576 self.__ericServerInterface.connectionStateChanged.connect( |
576 self.__ericServerInterface.connectionStateChanged.connect( |
577 self.shell.remoteConnectionChanged |
577 self.shell.remoteConnectionChanged |
578 ) |
578 ) |
579 |
579 |
580 self.__ericServerInterface.aboutToDisconnect.connect(self.project.closeProject) |
580 self.__ericServerInterface.aboutToDisconnect.connect( |
|
581 self.project.remoteConnectionAboutToDisconnect |
|
582 ) |
581 self.__ericServerInterface.aboutToDisconnect.connect( |
583 self.__ericServerInterface.aboutToDisconnect.connect( |
582 self.viewmanager.closeRemoteEditors |
584 self.viewmanager.closeRemoteEditors |
583 ) |
585 ) |
584 |
586 |
585 # create the toolbar manager object |
587 # create the toolbar manager object |