(String input)
| 1478 | |
| 1479 | |
| 1480 | private void scanFilesInternal(String input) { |
| 1481 | Set<String> paths = context.getResourcePaths(input); |
| 1482 | for (String path : paths) { |
| 1483 | if (path.endsWith("/")) { |
| 1484 | scanFilesInternal(path); |
| 1485 | } else if (jspConfig.isJspPage(path)) { |
| 1486 | pages.add(path); |
| 1487 | } else { |
| 1488 | String ext = path.substring(path.lastIndexOf('.') + 1); |
| 1489 | if (extensions.contains(ext)) { |
| 1490 | pages.add(path); |
| 1491 | } |
| 1492 | } |
| 1493 | } |
| 1494 | } |
| 1495 | |
| 1496 | |
| 1497 | /** |