Changeset 2955 in josm for trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
- Timestamp:
- 2010-02-08T17:26:01+01:00 (14 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
r2924 r2955 554 554 monitor.subTask(tr("Removing deprecated plugins...")); 555 555 filterDeprecatedPlugins(parent, plugins); 556 monitor.subTask(tr("Removing u maintained plugins..."));556 monitor.subTask(tr("Removing unmaintained plugins...")); 557 557 filterUnmaintainedPlugins(parent, plugins); 558 558 Map<String, PluginInformation> infos = loadLocallyAvailablePluginInformation(monitor.createSubTaskMonitor(1,false)); … … 731 731 if (!plugin.delete()) { 732 732 System.err.println(tr("Warning: failed to delete outdated plugin ''{0}''.", plugin.toString())); 733 System.err.println(tr("Warning: failed to install already downloaded plugin ''{0}''. Skipping installation. JOSM still going to load the old plugin version.", pluginName));733 System.err.println(tr("Warning: failed to install already downloaded plugin ''{0}''. Skipping installation. JOSM is still going to load the old plugin version.", pluginName)); 734 734 continue; 735 735 } … … 737 737 if (!updatedPlugin.renameTo(plugin)) { 738 738 System.err.println(tr("Warning: failed to install plugin ''{0}'' from temporary download file ''{1}''. Renaming failed.", plugin.toString(), updatedPlugin.toString())); 739 System.err.println(tr("Warning: failed to install already downloaded plugin ''{0}''. Skipping installation. JOSM still going to load the old plugin version.", pluginName));739 System.err.println(tr("Warning: failed to install already downloaded plugin ''{0}''. Skipping installation. JOSM is still going to load the old plugin version.", pluginName)); 740 740 } 741 741 }
Note:
See TracChangeset
for help on using the changeset viewer.