Changeset 6151 in josm for trunk/src/org/openstreetmap/josm/tools
- Timestamp:
- 2013-08-16T10:13:47+02:00 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/tools/ImageProvider.java
r6148 r6151 539 539 { 540 540 zipFile = new ZipFile(archive); 541 String entry_name; 542 if (inArchiveDir != null) { 543 File dir = new File(inArchiveDir); 544 entry_name = new File(dir, full_name).getPath(); 545 } else { 546 entry_name = full_name; 547 } 541 if (inArchiveDir == null || inArchiveDir.equals(".")) { 542 inArchiveDir = ""; 543 } else if (!inArchiveDir.isEmpty()) { 544 inArchiveDir += "/"; 545 } 546 String entry_name = inArchiveDir + full_name; 548 547 ZipEntry entry = zipFile.getEntry(entry_name); 549 548 if(entry != null)
Note:
See TracChangeset
for help on using the changeset viewer.