599 ) |
599 ) |
600 self.__ericServerInterface.connectionStateChanged.connect( |
600 self.__ericServerInterface.connectionStateChanged.connect( |
601 self.shell.remoteConnectionChanged |
601 self.shell.remoteConnectionChanged |
602 ) |
602 ) |
603 |
603 |
604 self.__ericServerInterface.aboutToDisconnect.connect( |
604 self.__ericServerInterface.aboutToDisconnect.connect(self.project.closeProject) |
605 self.project.closeProject |
|
606 ) |
|
607 self.__ericServerInterface.aboutToDisconnect.connect( |
605 self.__ericServerInterface.aboutToDisconnect.connect( |
608 self.viewmanager.closeRemoteEditors |
606 self.viewmanager.closeRemoteEditors |
609 ) |
607 ) |
610 |
608 |
611 # create the toolbar manager object |
609 # create the toolbar manager object |