- Timestamp:
- 12/08/17 09:36:26 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDcorrectHTMLLogDirs.java
r2232 r2233 133 133 Console.println("moved " + file + " to " + destination); 134 134 135 if ((file.getParentFile().list() == null) || 136 (file.getParentFile().list().length == 0)) 137 { 135 String[] children = file.getParentFile().list(); 136 if ((children == null) || (children.length == 0)) { 138 137 if (file.getParentFile().delete()) { 139 138 Console.println("removed directory " + file.getParentFile());
Note: See TracChangeset
for help on using the changeset viewer.