Changeset 13328 in josm for trunk/src/org/openstreetmap/josm/io
- Timestamp:
- 2018-01-15T01:41:33+01:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/io/imagery/WMSImagery.java
r13274 r13328 374 374 getChildrenStream(element) 375 375 .filter(child -> "CRS".equals(child.getNodeName()) || "SRS".equals(child.getNodeName())) 376 .map( child -> getContent(child))376 .map(WMSImagery::getContent) 377 377 .filter(crs -> !crs.isEmpty()) 378 378 .map(crs -> crs.trim().toUpperCase(Locale.ENGLISH))
Note:
See TracChangeset
for help on using the changeset viewer.