| changeset 53018 | 8bf9268df0e2 |
| parent 52427 | 3c6aa484536c |
| 53017:e10a1f7aaa13 | 53018:8bf9268df0e2 |
|---|---|
550 |
550 |
551 @Override |
551 @Override |
552 public Stream<String> list() throws IOException { |
552 public Stream<String> list() throws IOException { |
553 return Files.walk(dir, Integer.MAX_VALUE) |
553 return Files.walk(dir, Integer.MAX_VALUE) |
554 .map(f -> Resources.toResourceName(dir, f)) |
554 .map(f -> Resources.toResourceName(dir, f)) |
555 .filter(s -> s.length() > 0); |
555 .filter(s -> !s.isEmpty()); |
556 } |
556 } |
557 } |
557 } |
558 |
558 |
559 |
559 |
560 /** |
560 /** |