Browse Source

- delete resources folder if empty

git-svn-id: https://jmonkeyengine.googlecode.com/svn/trunk@8754 75d07b2b-3a1a-0410-a2c5-0572b91ccdca
nor..67 13 years ago
parent
commit
a26215379b

+ 4 - 0
jme3-core/src/com/jme3/gde/core/j2seproject/ProjectExtensionManager.java

@@ -489,6 +489,10 @@ public class ProjectExtensionManager {
         if (folder != null && folder.getChildren().length == 0) {
         if (folder != null && folder.getChildren().length == 0) {
             folder.delete();
             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 {
     private void writeFile(ZipInputStream str, FileObject fo) throws IOException {