--- a/UI/UserInterface.py Sun Nov 25 18:40:15 2012 +0100 +++ b/UI/UserInterface.py Sun Nov 25 20:11:13 2012 +0100 @@ -5171,6 +5171,9 @@ if not self.helpWindow.shutdown(): return False + if not self.irc.shutdown(): + return False + self.__writeSession() if not self.project.closeProject(): @@ -5182,9 +5185,6 @@ if not self.viewmanager.closeViewManager(): return False - if not self.irc.shutdown(): - return False - self.shell.closeShell() self.terminal.closeTerminal()