Ticket #11061: josm_gui.patch

src/org/openstreetmap/gui/jmapviewer/tilesources/TemplatedTMSTileSource.java

@@ -13 +13 @@
     private String[] randomParts = null;
     private Map<String, String> headers = new HashMap<>();
 
+    public static final String COOKIE_HEADER   = "Cookie";
     public static final String PATTERN_ZOOM    = "\\{(?:(\\d+)-)?z(?:oom)?([+-]\\d+)?\\}";
     public static final String PATTERN_X       = "\\{x\\}";
     public static final String PATTERN_Y       = "\\{y\\}";
@@ -36 +37 @@
         handleTemplate();
     }
 
+    public TemplatedTMSTileSource(String name, String url, String id, int minZoom, int maxZoom, String cookies) {
+        super(name, url, id, minZoom, maxZoom);
+        if (cookies != null) {
+            headers.put(COOKIE_HEADER, cookies);
+        }
+        handleTemplate();
+    }
+
     private void handleTemplate() {
         // Capturing group pattern on switch values
         Matcher m = Pattern.compile(".*"+PATTERN_SWITCH+".*").matcher(baseUrl);