[gdsii] Try to close files if able

2026-03-08 23:09:45 -07:00 · 2026-03-08 23:09:45 -07:00 · e261585894
commit e261585894
parent f42114bf43
1 changed files with 6 additions and 1 deletions
--- a/masque/file/gdsii.py
+++ b/masque/file/gdsii.py
@ -617,7 +617,12 @@ def load_libraryfile(
            stream = mmap.mmap(base_stream.fileno(), 0, access=mmap.ACCESS_READ)    # type: ignore
        else:
            stream = path.open(mode='rb')          # noqa: SIM115
+
+    try:
        return load_library(stream, full_load=full_load, postprocess=postprocess)
+    finally:
+        if full_load:
+            stream.close()


 def check_valid_names(