ZipFile: add support for deflate.RAW compressed mpk/zip files

ThomasFarstrike · ThomasFarstrike · commit c63e6d9d1eb4 · 2026-04-15T16:38:33.000+02:00
diff --git a/internal_filesystem/lib/zipfile.py b/internal_filesystem/lib/zipfile.py
@@ -799,7 +799,7 @@ def compress(self, data):
         # wbits for DeflateIO is 5 through 15 inclusive
         wbits = 5+self.compresslevel
         stream = io.BytesIO()
-        with deflate.DeflateIO(stream, deflate.ZLIB, wbits) as d:
+        with deflate.DeflateIO(stream, deflate.RAW, wbits) as d:
             d.write(data)
         compressed = stream.getvalue()
         return compressed
@@ -818,7 +818,7 @@ def __init__(self):
     def decompress(self, data):
         stream = io.BytesIO(data)
         try:
-            with deflate.DeflateIO(stream, deflate.AUTO) as d:
+            with deflate.DeflateIO(stream, deflate.RAW, 15) as d:
                 decompressed = d.read()
         except EOFError:
             return b''
diff --git a/internal_filesystem/main.py b/internal_filesystem/main.py
@@ -31,8 +31,9 @@
 try:
     import mpos.main  # noqa: F401
 except Exception as e:
-    sys.print_exception(e)
+    print("Error importing mpos.main, sleeping 5 seconds...")
     import time
-    print(f"Error in mpos.main, sleep for 5 seconds and end then...")
-    time.sleep(5)
+    time.sleep(5) # sleep so the user has time to connect to serial console
+    sys.print_exception(e) # print it after the sleep so user can see it on serial console
+    print("MicroPythonOS exiting.")
 
