src/eric7/RemoteServerInterface/EricServerInterface.py

branch
server
changeset 10567
b098e0d028cc
parent 10565
3583a10ce4d4
child 10568
399d81a784a4
diff -r 25330d3ea3af -r b098e0d028cc src/eric7/RemoteServerInterface/EricServerInterface.py
--- a/src/eric7/RemoteServerInterface/EricServerInterface.py	Tue Feb 13 09:50:09 2024 +0100
+++ b/src/eric7/RemoteServerInterface/EricServerInterface.py	Tue Feb 13 11:17:38 2024 +0100
@@ -247,6 +247,9 @@
                 maxSize = length - len(data)
                 if self.__connection.bytesAvailable() < maxSize:
                     self.__connection.waitForReadyRead(50)
+                if not self.__connection:
+                    # connection to server is gone uncontrolled
+                    break
                 newData = self.__connection.read(maxSize)
                 if newData:
                     data += newData

eric ide

mercurial