Changeset 12126 in josm for trunk/scripts

Timestamp:

2017-05-12T09:57:06+02:00 (8 years ago)

Author:

stoecker

Message:

see #14655 - add (commented) ID check

File:

• trunk/scripts/SyncEditorLayerIndex.groovy (modified) (1 diff)

trunk/scripts/SyncEditorLayerIndex.groovy

@@ -369 +369 @@
         }
 
+        /*myprintln "*** Same URL, but different Id: ***"
+        for (def url : eliUrls.keySet()) {
+            def e = eliUrls.get(url)
+            if (!josmUrls.containsKey(url)) continue
+            def j = josmUrls.get(url)
+            def ename = getId(e)
+            def jname = getId(j)
+            if (!ename.equals(jname)) {
+                myprintln "* Id differs ('${getId(e)}' != '${getId(j)}'): $url"
+            }
+        }*/
+
         myprintln "*** Same URL, but different type: ***"
         for (def url : eliUrls.keySet()) {