Ticket #5207: tile-cache.patch

plugins/wmsplugin/src/wmsplugin/WMSLayer.java

@@ -350 +350 @@
         for(int x = bminx; x<=bmaxx; ++x) {
             for(int y = bminy; y<=bmaxy; ++y){
                 GeorefImage img = images[modulo(x,dax)][modulo(y,day)];
-                if (!img.paint(g, mv, x, y, leftEdge, bottomEdge)) {
+                if ((img.getState() == GeorefImage.State.NOT_IN_CACHE && real) || !img.paint(g, mv, x, y, leftEdge, bottomEdge)) {
                     WMSRequest request = new WMSRequest(x, y, info.pixelPerDegree, real);
                     addRequest(request);
                 }