diff -r e50bbf250343 -r 1311cd5d117e src/eric7/MicroPython/MicroPythonWebreplDeviceInterface.py
--- a/src/eric7/MicroPython/MicroPythonWebreplDeviceInterface.py Fri Oct 06 15:52:33 2023 +0200
+++ b/src/eric7/MicroPython/MicroPythonWebreplDeviceInterface.py Fri Oct 06 17:57:36 2023 +0200
@@ -225,7 +225,7 @@
out, err = b"", b"Timeout while processing commands."
else:
# get rid of any OSD string and send it
- if result.startswith(b"\x1b]0;"):
+ while result.startswith(b"\x1b]0;"):
osd, result = result.split(b"\x1b\\", 1)
self.osdInfo.emit(osd[4:].decode("utf-8"))
