--- 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"))