Changeset 13300 in josm for trunk/src/org/openstreetmap
- Timestamp:
- 2018-01-08T02:45:59+01:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
r13294 r13300 1258 1258 File plugin = new File(filePath.substring(0, filePath.length() - 4)); 1259 1259 String pluginName = updatedPlugin.getName().substring(0, updatedPlugin.getName().length() - 8); 1260 if (plugin.exists() && !plugin.delete() && dowarn) {1261 Logging.warn(tr("Failed to delete outdated plugin ''{0}''.", plugin.toString()));1262 Logging.warn(tr("Failed to install already downloaded plugin ''{0}''. " +1263 "Skipping installation. JOSM is still going to load the old plugin version.",1264 pluginName));1265 continue;1266 }1267 1260 try { 1268 1261 // Check the plugin is a valid and accessible JAR file before installing it (fix #7754) … … 1273 1266 plugin.toString(), updatedPlugin.toString(), e.getLocalizedMessage()), e); 1274 1267 } 1268 continue; 1269 } 1270 if (plugin.exists() && !plugin.delete() && dowarn) { 1271 Logging.warn(tr("Failed to delete outdated plugin ''{0}''.", plugin.toString())); 1272 Logging.warn(tr("Failed to install already downloaded plugin ''{0}''. " + 1273 "Skipping installation. JOSM is still going to load the old plugin version.", 1274 pluginName)); 1275 1275 continue; 1276 1276 }
Note:
See TracChangeset
for help on using the changeset viewer.