UI/UserInterface.py

changeset 496
ed1e3f654d0b
parent 492
01f3384d535a
child 500
c3abc7895a01
--- a/UI/UserInterface.py	Wed Aug 11 19:55:34 2010 +0200
+++ b/UI/UserInterface.py	Wed Aug 11 20:16:03 2010 +0200
@@ -5401,7 +5401,7 @@
             return False
         self.debuggerUI.shutdown()
         
-        self.pluginManager.shutdown()
+        self.pluginManager.doShutdown()
         
         if self.SAServer is not None:
             self.SAServer.shutdown()

eric ide

mercurial