changeset 43771 | 25ddac537bb5 |
parent 43574 | 042e694725f7 |
child 43772 | 4e5350b7be75 |
43770:a321bed02000 | 43771:25ddac537bb5 |
---|---|
983 } |
983 } |
984 } |
984 } |
985 } |
985 } |
986 |
986 |
987 private void checkValidModulePathEntry(Path p) { |
987 private void checkValidModulePathEntry(Path p) { |
988 if (!Files.exists(p)) { |
|
989 // warning may be generated later |
|
990 return; |
|
991 } |
|
992 |
|
988 if (Files.isDirectory(p)) { |
993 if (Files.isDirectory(p)) { |
989 // either an exploded module or a directory of modules |
994 // either an exploded module or a directory of modules |
990 return; |
995 return; |
991 } |
996 } |
992 |
997 |