--- a/src/eric7/RemoteServer/EricServer.py Thu Feb 22 16:26:46 2024 +0100 +++ b/src/eric7/RemoteServer/EricServer.py Thu Feb 22 16:34:43 2024 +0100 @@ -339,7 +339,7 @@ def __closeIdeConnection(self, shutdown=False): """ Private method to close the connection to an eric-ide. - + @param shutdown flag indicating a shutdown process @type bool """ @@ -364,7 +364,7 @@ def __serviceIdeConnection(self, key): """ Private method to service the eric-ide connection. - + @param key reference to the SelectorKey object associated with the connection to be serviced @type selectors.SelectorKey @@ -424,7 +424,7 @@ traceback.print_tb(exctb, None, tbinfofile) tbinfofile.seek(0) tbinfo = tbinfofile.read() - + print(f"{str(exctype)} / {str(excval)} / {tbinfo}") self.__shouldStop = True