- Timestamp:
- 2012-09-08T16:51:51+02:00 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
r5436 r5508 70 70 public class PluginHandler { 71 71 72 /* deprecated plugins that are removed on start */ 72 /** 73 * deprecated plugins that are removed on start 74 */ 73 75 public final static Collection<DeprecatedPlugin> DEPRECATED_PLUGINS; 74 76 static { … … 445 447 Set<String> missingPlugins = new HashSet<String>(); 446 448 for (String requiredPlugin : plugin.requires.split(";")) { 449 requiredPlugin = requiredPlugin.trim(); 447 450 if (!pluginNames.contains(requiredPlugin)) { 448 451 missingPlugins.add(requiredPlugin);
Note:
See TracChangeset
for help on using the changeset viewer.