| commit | 188ce7c598a804735823eeb4a658b6073d565873 | [log] [tgz] |
|---|---|---|
| author | Christian Pontesegger <christian.pontesegger@web.de> | Fri Feb 09 10:34:27 2018 +0100 |
| committer | Christian Pontesegger <christian.pontesegger@web.de> | Fri Feb 09 10:34:27 2018 +0100 |
| tree | 027c55785b2acad0f47709dc5b584b3c13d76c82 | |
| parent | 33e483c6450d2902302afa9ddd3638402603c286 [diff] |
Bug 530927: [Resources] Filehandle not garbage collected on close() Change-Id: I0e67efd7c0d0f2ad690ae3efae5cc486e3281e9d
diff --git a/plugins/org.eclipse.ease.modules.platform/src/org/eclipse/ease/modules/platform/ResourcesModule.java b/plugins/org.eclipse.ease.modules.platform/src/org/eclipse/ease/modules/platform/ResourcesModule.java index e5170c1..031778b 100644 --- a/plugins/org.eclipse.ease.modules.platform/src/org/eclipse/ease/modules/platform/ResourcesModule.java +++ b/plugins/org.eclipse.ease.modules.platform/src/org/eclipse/ease/modules/platform/ResourcesModule.java
@@ -258,7 +258,9 @@ * handle to be closed */ @WrapToScript - public static void closeFile(final IFileHandle handle) { + public void closeFile(final IFileHandle handle) { + fOpenHandles.remove(handle); + handle.close(); }