UI/UserInterface.py

changeset 2228
5c59b9393306
parent 2227
b7aceb255831
child 2237
baddb671c326
--- 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()
         

eric ide

mercurial