| commit | 51c97b4846e613d0c6bd426d1e8190194c076d23 | [log] [tgz] |
|---|---|---|
| author | Christian Pontesegger <christian.pontesegger@web.de> | Mon Nov 06 14:39:23 2017 +0100 |
| committer | Christian Pontesegger <christian.pontesegger@web.de> | Mon Nov 06 14:39:23 2017 +0100 |
| tree | 9c9e410592fa8b4365499ddeb98752e234c2cd6e | |
| parent | 7688389037be934a0b5fd54b478f55fbdc28cae1 [diff] |
Bug 526888: [Resources] deleteFolder() not working Change-Id: I5c85cac29fd69f4c161e19c7f73c0595969fff71
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 dc29bd8..7c7885f 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
@@ -338,7 +338,7 @@ @WrapToScript public void deleteFolder(final Object source) throws CoreException { final Object folder = ResourceTools.resolve(source, getScriptEngine().getExecutedFile()); - if (ResourceTools.isFile(folder)) { + if (ResourceTools.isFolder(folder)) { if (folder instanceof IFolder) ((IFolder) folder).delete(true, new NullProgressMonitor());