Mercurial Repositories > eric / file comparison
comparison: eric7/UI/UserInterface.py
eric7/UI/UserInterface.py
- branch
- eric7
- changeset 8685
- b0669ce1066d
- parent 8680
- 85503ff2fce9
- child 8697
- 936662560d04
equal
deleted
inserted
replaced
| 8683:e8a907801549 | 8685:b0669ce1066d |
|---|---|
| 7294 self.backgroundService.shutdown() | 7294 self.backgroundService.shutdown() |
| 7295 | 7295 |
| 7296 if self.cooperation is not None: | 7296 if self.cooperation is not None: |
| 7297 self.cooperation.shutdown() | 7297 self.cooperation.shutdown() |
| 7298 | 7298 |
| 7299 if self.__helpViewerWidget is not None: | |
| 7300 self.__helpViewerWidget.shutdown() | |
| 7301 | |
| 7299 self.pluginManager.doShutdown() | 7302 self.pluginManager.doShutdown() |
| 7300 | 7303 |
| 7301 if self.SAServer is not None: | 7304 if self.SAServer is not None: |
| 7302 self.SAServer.shutdown() | 7305 self.SAServer.shutdown() |
| 7303 self.SAServer = None | 7306 self.SAServer = None |
