Changeset 6148 in josm for trunk/src/org/openstreetmap/josm/gui/mappaint/mapcss
- Timestamp:
- 2013-08-14T13:12:50+02:00 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/mappaint/mapcss/MapCSSStyleSource.java
r6070 r6148 6 6 import java.awt.Color; 7 7 import java.io.ByteArrayInputStream; 8 import java.io.File; 8 9 import java.io.IOException; 9 10 import java.io.InputStream; … … 11 12 import java.util.List; 12 13 import java.util.Map.Entry; 14 import java.util.zip.ZipEntry; 15 import java.util.zip.ZipFile; 13 16 14 17 import org.openstreetmap.josm.data.osm.Node; … … 88 91 89 92 MirroredInputStream in = new MirroredInputStream(url); 90 InputStream zip = in.getZipEntry("mapcss", "style"); 91 if (zip != null) { 92 zipIcons = in.getFile(); 93 return zip; 93 if (isZip) { 94 File file = in.getFile(); 95 Utils.close(in); 96 ZipFile zipFile = new ZipFile(file); 97 zipIcons = file; 98 ZipEntry zipEntry = zipFile.getEntry(zipEntryPath); 99 return zipFile.getInputStream(zipEntry); 94 100 } else { 95 101 zipIcons = null;
Note:
See TracChangeset
for help on using the changeset viewer.