equal
deleted
inserted
replaced
198 dir = pkgs.resolve(rd.getPath().replaceAll("/$", "").replace("/", ".")); |
198 dir = pkgs.resolve(rd.getPath().replaceAll("/$", "").replace("/", ".")); |
199 } |
199 } |
200 if (Files.exists(dir)) { |
200 if (Files.exists(dir)) { |
201 try (DirectoryStream<Path> modules = Files.newDirectoryStream(dir)) { |
201 try (DirectoryStream<Path> modules = Files.newDirectoryStream(dir)) { |
202 for (Path module: modules) { |
202 for (Path module: modules) { |
203 Path p = rd.getFile(module); |
203 Path p = rd.resolveAgainst(module); |
204 if (!Files.exists(p)) |
204 if (!Files.exists(p)) |
205 continue; |
205 continue; |
206 try (DirectoryStream<Path> stream = Files.newDirectoryStream(p)) { |
206 try (DirectoryStream<Path> stream = Files.newDirectoryStream(p)) { |
207 for (Path entry: stream) { |
207 for (Path entry: stream) { |
208 String name = entry.getFileName().toString(); |
208 String name = entry.getFileName().toString(); |