Changeset 9613 in josm for trunk/src/org/openstreetmap/josm/io

Timestamp:

2016-01-24T15:14:26+01:00 (10 years ago)

Author:

stoecker

Message:

fix #12437 - see #12425 - fix handling of equal no tile headers with different values - hope the related josm config change does not break anything

File:

• trunk/src/org/openstreetmap/josm/io/imagery/ImageryReader.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/io/imagery/ImageryReader.java

@@ -94 +94 @@
         private String lang;
         private List<String> projections;
-        private Map<String, String> noTileHeaders;
-        private Map<String, String> noTileChecksums;
+        private Map<String, List<String> > noTileHeaders;
+        private Map<String, List<String> > noTileChecksums;
         private Map<String, String> metadataHeaders;
 
@@ -172 +172 @@
                     newState = State.PROJECTIONS;
                 } else if ("no-tile-header".equals(qName)) {
-                    noTileHeaders.put(atts.getValue("name"), atts.getValue("value"));
+                    String name = atts.getValue("name");
+                    List<String> l;
+                    if (noTileHeaders.containsKey(name)) {
+                        l = noTileHeaders.get(name);
+                    } else {
+                        l = new ArrayList<String>();
+                        noTileHeaders.put(atts.getValue("name"), l);
+                    }
+                    l.add(atts.getValue("value"));
                     newState = State.NO_TILE;
                 } else if ("no-tile-checksum".equals(qName)) {
-                    noTileChecksums.put(atts.getValue("type"), atts.getValue("value"));
+                    String type = atts.getValue("type");
+                    List<String> l;
+                    if (noTileChecksums.containsKey(type)) {
+                        l = noTileChecksums.get(type);
+                    } else {
+                        l = new ArrayList<String>();
+                        noTileChecksums.put(type, l);
+                    }
+                    l.add(atts.getValue("value"));
                     newState = State.NO_TILESUM;
                 } else if ("metadata-header".equals(qName)) {