Changeset 2232 for trunk/autoquest-plugin-genericevents/src/main/java/de/ugoe/cs/autoquest/plugin/genericevents/commands/CMDparseDirGenericEvents.java
- Timestamp:
- 12/07/17 17:08:59 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/autoquest-plugin-genericevents/src/main/java/de/ugoe/cs/autoquest/plugin/genericevents/commands/CMDparseDirGenericEvents.java
r2165 r2232 112 112 if (file.isDirectory()) { 113 113 String[] children = file.list(); 114 Arrays.sort(children);115 114 116 for (String child : children) { 117 File childFile = new File(file, child); 118 parseFile(childFile, parser); 115 if (children != null) { 116 Arrays.sort(children); 117 118 for (String child : children) { 119 File childFile = new File(file, child); 120 parseFile(childFile, parser); 121 } 119 122 } 120 123 }
Note: See TracChangeset
for help on using the changeset viewer.