diff -r b31b0bffa5b0 -r ed1e3f654d0b UI/UserInterface.py --- 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()