Tue, 30 Jul 2019 19:15:02 +0200
IrcWidget: fixed an issue disconnecting the IRC widget.
eric6/Network/IRC/IrcWidget.py | file | annotate | diff | comparison | revisions |
--- a/eric6/Network/IRC/IrcWidget.py Sun Jul 28 11:26:37 2019 +0200 +++ b/eric6/Network/IRC/IrcWidget.py Tue Jul 30 19:15:02 2019 +0200 @@ -576,7 +576,8 @@ self.__nickIndex = -1 self.__channelTypePrefixes = "" - self.__socket.deleteLater() + if self.__socket: + self.__socket.deleteLater() self.__socket = None self.__connectionState = IrcWidget.ServerDisconnected