diff -r 61a1757626ac -r 3750abc45d5e src/eric7/EricNetwork/EricJsonClient.py --- a/src/eric7/EricNetwork/EricJsonClient.py Mon May 22 08:46:00 2023 +0200 +++ b/src/eric7/EricNetwork/EricJsonClient.py Mon May 22 09:07:37 2023 +0200 @@ -137,7 +137,7 @@ # reset select errors selectErrors = 0 - except (select.error, KeyboardInterrupt, socket.error): + except (KeyboardInterrupt, select.error, socket.error): selectErrors += 1 except Exception: @@ -186,7 +186,7 @@ else: self.handleCall(method, params) - except (select.error, KeyboardInterrupt, socket.error): + except (KeyboardInterrupt, select.error, socket.error): # just ignore these pass