(String zipPath)
| 502 | } |
| 503 | |
| 504 | private Map<String, ZipEntry> _getZipContents(String zipPath) { |
| 505 | if (notFound(zipPath)) |
| 506 | return null; |
| 507 | URL url = getURLWithCachedBytes(zipPath); // BH carry over bytes if we have them already |
| 508 | Map<String, ZipEntry> fileNames = htZipContents.get(url.toString()); |
| 509 | if (fileNames != null) |
| 510 | return fileNames; |
| 511 | try { |
| 512 | // Scan URL zip stream for files. |
| 513 | return readZipContents(url.openStream(), url); |
| 514 | } catch (Exception ex) { |
| 515 | System.err.println("Assets: " + zipPath + " could not be opened"); |
| 516 | setNotFound(zipPath); |
| 517 | return null; |
| 518 | } |
| 519 | } |
| 520 | |
| 521 | /** |
| 522 | * Deconstruct a jar URL into two parts, before and after "!/". |
no test coverage detected