Changeset 4565 in josm for trunk/src/org/openstreetmap/josm/data

Timestamp:

02.11.2011 14:37:39 (7 months ago)

Author:

stoecker

Message:

don't reinvent the wheel

File:

• trunk/src/org/openstreetmap/josm/data/Preferences.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/data/Preferences.java

@@ -555 +555 @@
                     JOptionPane.ERROR_MESSAGE
             );
-            if (backupFile.exists()) {
-                backupFile.delete();
-            }
-            preferenceFile.renameTo(backupFile);
+            Main.platform.rename(preferenceFile, backupFile);
             try {
                 resetToDefault();