Ignore:
Timestamp:
2015-05-21T01:18:35+02:00 (9 years ago)
Author:
Don-vip
Message:

When doing a String.toLowerCase()/toUpperCase() call, use a Locale. This avoids problems with certain locales, i.e. Lithuanian or Turkish. See PMD UseLocaleWithCaseConversions rule and String.toLowerCase() javadoc.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/mappaint/mapcss/MapCSSParser.jj

    r8331 r8404  
    1414import java.util.Collections;
    1515import java.util.List;
     16import java.util.Locale;
    1617
    1718import org.openstreetmap.josm.Main;
     
    388389    ( <PP_NOT> { invert = true; } pp_w() )?
    389390    (
    390             t=<IDENT> { mediatype = t.image.toLowerCase(); } pp_w()
     391            t=<IDENT> { mediatype = t.image.toLowerCase(Locale.ENGLISH); } pp_w()
    391392            ( <PP_AND> pp_w() e=pp_media_expression() { pass = pass && e; } pp_w() )*
    392393        |
Note: See TracChangeset for help on using the changeset viewer.