Changeset 10123 in josm for trunk/src/org
- Timestamp:
- 2016-04-09T01:35:58+02:00 (9 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/plugins
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginListParser.java
r8846 r10123 34 34 * @throws PluginListParseException if plugin manifest cannot be parsed 35 35 */ 36 p rotectedstatic PluginInformation createInfo(String name, String url, String manifest) throws PluginListParseException {36 public static PluginInformation createInfo(String name, String url, String manifest) throws PluginListParseException { 37 37 try { 38 38 return new PluginInformation( -
trunk/src/org/openstreetmap/josm/plugins/ReadLocalPluginInformationTask.java
r10043 r10123 16 16 import org.openstreetmap.josm.Main; 17 17 import org.openstreetmap.josm.gui.PleaseWaitRunnable; 18 import org.openstreetmap.josm.gui.progress.NullProgressMonitor; 18 19 import org.openstreetmap.josm.gui.progress.ProgressMonitor; 19 20 import org.openstreetmap.josm.io.OsmTransferException; … … 136 137 137 138 protected void scanLocalPluginRepository(ProgressMonitor monitor, File pluginsDirectory) { 138 if (pluginsDirectory == null) return; 139 if (pluginsDirectory == null) 140 return; 141 if (monitor == null) 142 monitor = NullProgressMonitor.INSTANCE; 139 143 try { 140 144 monitor.beginTask("");
Note:
See TracChangeset
for help on using the changeset viewer.