- Timestamp:
- 2009-06-16T08:38:42+02:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginSelection.java
r1649 r1671 106 106 PluginInformation ap = availablePlugins.get(name); 107 107 PluginInformation pi = localPlugins.get(name); 108 boolean add = false; 109 if(pi == null) 110 add = true; 111 else if(!pi.version.equals(ap.version)) 112 { 113 add = true; 114 for (PluginProxy proxy : PluginHandler.pluginList) 115 if(proxy.info.name.equals(ap.name)) 116 add = false; 117 } 118 if(add) 108 if(pi == null || (pi.version == null && ap.version != null) 109 || (pi.version != null && !pi.version.equals(ap.version))) 119 110 { 120 111 toDownload.add(ap);
Note:
See TracChangeset
for help on using the changeset viewer.