Mercurial Repositories > eric / file comparison
comparison: UI/UserInterface.py
UI/UserInterface.py
- changeset 496
- ed1e3f654d0b
- parent 492
- 01f3384d535a
- child 500
- c3abc7895a01
equal
deleted
inserted
replaced
| 495:b31b0bffa5b0 | 496:ed1e3f654d0b |
|---|---|
| 5399 | 5399 |
| 5400 if not self.debuggerUI.shutdownServer(): | 5400 if not self.debuggerUI.shutdownServer(): |
| 5401 return False | 5401 return False |
| 5402 self.debuggerUI.shutdown() | 5402 self.debuggerUI.shutdown() |
| 5403 | 5403 |
| 5404 self.pluginManager.shutdown() | 5404 self.pluginManager.doShutdown() |
| 5405 | 5405 |
| 5406 if self.SAServer is not None: | 5406 if self.SAServer is not None: |
| 5407 self.SAServer.shutdown() | 5407 self.SAServer.shutdown() |
| 5408 self.SAServer = None | 5408 self.SAServer = None |
| 5409 | 5409 |
