diff -r f2e10f8d9d7f -r e5d8dbcae771 src/eric7/MicroPython/MicroPythonWebreplDeviceInterface.py --- a/src/eric7/MicroPython/MicroPythonWebreplDeviceInterface.py Tue May 16 17:46:40 2023 +0200 +++ b/src/eric7/MicroPython/MicroPythonWebreplDeviceInterface.py Tue May 16 17:49:13 2023 +0200 @@ -223,7 +223,7 @@ .strip() ) if self.__socket.hasTimedOut(): - out, err = b"", b"Timeout while processing commands." + out, err = b"", b"Timeout while processing commands." else: # get rid of any OSD string and send it if result.startswith(b"\x1b]0;"):