--- 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()