- delete resources folder if empty

git-svn-id: https://jmonkeyengine.googlecode.com/svn/trunk@8754 75d07b2b-3a1a-0410-a2c5-0572b91ccdca
13 years ago · 25f591a87a
parent d8ce14b92a
commit 25f591a87a
1 changed files with 4 additions and 0 deletions
--- a/sdk/jme3-core/src/com/jme3/gde/core/j2seproject/ProjectExtensionManager.java
+++ b/sdk/jme3-core/src/com/jme3/gde/core/j2seproject/ProjectExtensionManager.java
@ -489,6 +489,10 @@ public class ProjectExtensionManager {
        if (folder != null && folder.getChildren().length == 0) {
            folder.delete();
        }
+        FileObject resourceFolder = projectRoot.getFileObject(resourcesFolder);
+        if (resourceFolder != null && resourceFolder.getChildren().length == 0) {
+            resourceFolder.delete();
+        }
    }

    private void writeFile(ZipInputStream str, FileObject fo) throws IOException {