Changeset 12007 in josm

Timestamp:

2017-04-26T13:30:32+02:00 (7 years ago)

Author:

stoecker

Message:

don't report zoom differences when the entry is a wms mirror

File:

• trunk/scripts/SyncEditorLayerIndex.groovy (modified) (3 diffs)

trunk/scripts/SyncEditorLayerIndex.groovy

@@ -724 +724 @@
                     r += p.getString()
             }
-            
         }
         return r ? r : []
@@ -761 +760 @@
     static Integer getMinZoom(Object e) {
         if (e instanceof ImageryInfo) {
+            if("wms".equals(getType(e)) && e.getName() =~ / mirror/)
+                return null;
             int mz = e.getMinZoom()
             return mz == 0 ? null : mz
@@ -771 +772 @@
     static Integer getMaxZoom(Object e) {
         if (e instanceof ImageryInfo) {
+            if("wms".equals(getType(e)) && e.getName() =~ / mirror/)
+                return null;
             int mz = e.getMaxZoom()
             return mz == 0 ? null : mz