Fixed an issue shutting down the IRC widget.

Mon, 31 Dec 2012 11:59:44 +0100

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Mon, 31 Dec 2012 11:59:44 +0100
changeset 2296
da3757bc5218
parent 2295
f51d70c46079
child 2297
e8a46f81517c

Fixed an issue shutting down the IRC widget.

Network/IRC/IrcWidget.py file | annotate | diff | comparison | revisions
diff -r f51d70c46079 -r da3757bc5218 Network/IRC/IrcWidget.py
--- a/Network/IRC/IrcWidget.py	Mon Dec 31 11:54:56 2012 +0100
+++ b/Network/IRC/IrcWidget.py	Mon Dec 31 11:59:44 2012 +0100
@@ -138,6 +138,7 @@
                 self.__socket.flush()
                 self.__socket.close()
                 self.__socket.deleteLater()
+                self.__socket = None
         else:
             ok = True
         

eric ide

mercurial