Dispose file handles when AndroidLibrary is destroyed

Dadoum · Aug 11, 2023 · 58f339f · 58f339f
1 parent a007cb2
commit 58f339f
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/lib/provision/androidlibrary.d b/lib/provision/androidlibrary.d
@@ -173,6 +173,10 @@ public class AndroidLibrary {
             destroy(library);
         }
 
+        if (elfFile) {
+            destroy(elfFile);
+        }
+
         if (allocation) {
             MmapAllocator.instance.deallocate((allocation.ptr - shift)[0..allocation.length + shift]);
         }