Changeset 2557 in josm

Timestamp:

2009-12-01T17:04:54+01:00 (14 years ago)

Author:

stoecker

Message:

fixed old file delete

File:

• trunk/src/org/openstreetmap/josm/plugins/PluginDownloader.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/plugins/PluginDownloader.java

@@ -152 +152 @@
                 {
                     System.out.println(tr("Delete old plugin file {0}",fname));
+                    f.delete();
                 }
             }