--- a/src/eric7/RemoteServer/EricServerDebuggerRequestHandler.py Wed Oct 09 17:20:35 2024 +0200 +++ b/src/eric7/RemoteServer/EricServerDebuggerRequestHandler.py Wed Oct 09 17:50:11 2024 +0200 @@ -199,7 +199,8 @@ if sock in self.__pendingConnections: self.__pendingConnections.remove(sock) - sock.close() + with contextlib.suppress(OSError): + sock.close() def __mainClientExited(self): """ @@ -246,12 +247,12 @@ @param sock reference to the socket @type socket.socket """ - with contextlib.suppress(KeyError): + with contextlib.suppress(KeyError, OSError): # Socket might have been unregister automatically (e.g. due to a crash of # the script being debugged). self._server.getSelector().unregister(sock) - sock.shutdown(socket.SHUT_RDWR) - sock.close() + sock.shutdown(socket.SHUT_RDWR) + sock.close() if debuggerId: self._server.sendJson(