Changeset 4570 in josm for trunk/src/org/openstreetmap/josm

Timestamp:

2011-11-03T18:27:21+01:00 (12 years ago)

Author:

Don-vip

Message:

Use of Main.platform.rename() instead of File.renameTo()

File:

• trunk/src/org/openstreetmap/josm/actions/RenameLayerAction.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/actions/RenameLayerAction.java

@@ -86 +86 @@
                 }
                 File newFile = new File(newname);
-                if (file.renameTo(newFile)) {
+                if (Main.platform.rename(file, newFile)) {
                     layer.setAssociatedFile(newFile);
                     nameText = newFile.getName();