Ticket #10673: cache_wms.patch

src/org/openstreetmap/josm/io/imagery/WMSGrabber.java

@@ -258 +258 @@
         Main.info("Grabbing WMS " + (attempt > 1? "(attempt " + attempt + ") ":"") + url);
 
         HttpURLConnection conn = Utils.openHttpConnection(url);
+        conn.setUseCaches(true);
         for (Entry<String, String> e : props.entrySet()) {
             conn.setRequestProperty(e.getKey(), e.getValue());
         }