Ignore:
Timestamp:
2017-04-07T00:18:07+02:00 (7 years ago)
Author:
Don-vip
Message:

fix #14613 - Special HTML characters not escaped in GUI error messages

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/conflict/pair/properties/PropertiesMerger.java

    r10210 r11848  
    2929import org.openstreetmap.josm.gui.history.VersionInfoPanel;
    3030import org.openstreetmap.josm.tools.ImageProvider;
     31import org.openstreetmap.josm.tools.Utils;
    3132
    3233/**
     
    315316        StringBuilder str = new StringBuilder("<html>");
    316317        for (OsmPrimitive r: referrers) {
    317             str.append(r.getDisplayName(DefaultNameFormatter.getInstance())).append("<br>");
     318            str.append(Utils.escapeReservedCharactersHTML(r.getDisplayName(DefaultNameFormatter.getInstance()))).append("<br>");
    318319        }
    319320        str.append("</html>");
Note: See TracChangeset for help on using the changeset viewer.