Changeset 4570 in josm

Timestamp:

Nov 3, 2011 6:27:21 PM (19 months 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();