Changeset 17332 in josm for trunk/scripts
- Timestamp:
- 2020-11-23T16:01:19+01:00 (5 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/scripts/SyncEditorLayerIndex.java
r17329 r17332 541 541 // catch reordered arguments and switches to WMS version 1.3.0 542 542 String unifyWMS(String url) { 543 String x[]= url.replaceAll("(?i)VERSION=[0-9.]+", "VERSION=x").replaceAll("(?i)SRS=", "CRS=").split("\\?");544 String a[]= x[1].split("&");543 String[] x = url.replaceAll("(?i)VERSION=[0-9.]+", "VERSION=x").replaceAll("(?i)SRS=", "CRS=").split("\\?"); 544 String[] a = x[1].split("&"); 545 545 Arrays.sort(a); 546 url = x[0]+"?"+String.join("&",a); 546 url = x[0]+"?"+String.join("&", a); 547 547 return url; 548 548 } … … 579 579 580 580 if (ide.equals(idj) && Objects.equals(getType(j), getType(e))) { 581 if(getType(j).equals("wms") && unifyWMS(urle).equals(unifyWMS(urlj))) { 581 if (getType(j).equals("wms") && unifyWMS(urle).equals(unifyWMS(urlj))) { 582 582 myprintln("# WMS-URL for id "+idj+" modified: "+getDescription(j)); 583 583 } else { … … 591 591 break; 592 592 } 593 Collection<String> old = ((ImageryInfo)j).getOldIds();594 if(old != null) { 593 Collection<String> old = j.getOldIds(); 594 if (old != null) { 595 595 for (String oidj : old) { 596 596 if (ide.equals(oidj) && Objects.equals(getType(j), getType(e))) { 597 if(getType(j).equals("wms") && unifyWMS(urle).equals(unifyWMS(urlj))) { 597 if (getType(j).equals("wms") && unifyWMS(urle).equals(unifyWMS(urlj))) { 598 598 myprintln("# WMS-URL for oldid "+idj+" modified: "+getDescription(j)); 599 599 } else {
Note:
See TracChangeset
for help on using the changeset viewer.