Changeset 8933 in josm for trunk/src/org/openstreetmap/josm/tools/Utils.java
- Timestamp:
- 2015-10-23T14:50:40+02:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/tools/Utils.java
r8928 r8933 1411 1411 */ 1412 1412 public static boolean hasExtension(String filename, String... extensions) { 1413 String name = filename.toLowerCase(Locale.ENGLISH) ;1413 String name = filename.toLowerCase(Locale.ENGLISH).replace("?format=raw", ""); 1414 1414 for (String ext : extensions) { 1415 1415 if (name.endsWith('.' + ext.toLowerCase(Locale.ENGLISH)))
Note:
See TracChangeset
for help on using the changeset viewer.