Changeset 11951 in josm

Timestamp:

2017-04-18T11:09:24+02:00 (8 years ago)

Author:

stoecker

Message:

don't print difference for ’ sign

File:

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

trunk/scripts/SyncEditorLayerIndex.groovy

@@ -247 +247 @@
             if (!josmUrls.containsKey(url)) continue
             def j = josmUrls.get(url)
-            if (!getName(e).equals(getName(j))) {
+            def ename = getName(e).replace("'","’")
+            def jname = getName(j).replace("'","’")
+            if (!ename.equals(jname)) {
                 myprintln "* Name differs ('${getName(e)}' != '${getName(j)}'): $url"
             }