Mon, 31 Dec 2012 11:59:44 +0100
Fixed an issue shutting down the IRC widget.
--- 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