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