Ticket #5207: tile-cache.patch

File tile-cache.patch, 725 bytes (added by battarsa, 11 years ago)
  • plugins/wmsplugin/src/wmsplugin/WMSLayer.java

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