eric6/Network/IRC/IrcWidget.py

changeset 7096
6ce0678583e5
parent 6942
2602857055c5
child 7192
a22eee00b052
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