IrcWidget: fixed an issue disconnecting the IRC widget.

Tue, 30 Jul 2019 19:15:02 +0200

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Tue, 30 Jul 2019 19:15:02 +0200
changeset 7096
6ce0678583e5
parent 7093
5b6c7e9f875d
child 7104
04fdf470d4d4

IrcWidget: fixed an issue disconnecting the IRC widget.

eric6/Network/IRC/IrcWidget.py file | annotate | diff | comparison | revisions
diff -r 5b6c7e9f875d -r 6ce0678583e5 eric6/Network/IRC/IrcWidget.py
--- 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

eric ide

mercurial