Changeset 11381 in josm for trunk/src/org/openstreetmap/josm/plugins
- Timestamp:
- 2016-12-12T02:28:14+01:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginListParser.java
r10123 r11381 95 95 if (name != null) { 96 96 PluginInformation info = createInfo(name, url, manifest); 97 if (info != null) { 98 for (PluginProxy plugin : PluginHandler.pluginList) { 99 if (plugin.getPluginInformation().name.equals(info.getName())) { 100 info.localversion = plugin.getPluginInformation().localversion; 101 } 97 for (PluginProxy plugin : PluginHandler.pluginList) { 98 if (plugin.getPluginInformation().name.equals(info.getName())) { 99 info.localversion = plugin.getPluginInformation().localversion; 102 100 } 103 ret.add(info);104 101 } 102 ret.add(info); 105 103 } 106 104 } catch (PluginListParseException ex) {
Note:
See TracChangeset
for help on using the changeset viewer.