Changeset 9296 in josm for trunk/src/org/openstreetmap/josm/tools/PlatformHookOsx.java

Timestamp:

2016-01-04T01:06:23+01:00 (8 years ago)

Author:

Don-vip

Message:

fix #12249 - Fix Findbugs warnings "Exceptional return value of java.io.File.delete() ignored"

File:

• trunk/src/org/openstreetmap/josm/tools/PlatformHookOsx.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/tools/PlatformHookOsx.java

@@ -2 +2 @@
 package org.openstreetmap.josm.tools;
 
+import static org.openstreetmap.josm.tools.I18n.marktr;
 import static org.openstreetmap.josm.tools.I18n.tr;
 
@@ -366 +367 @@
                         Main.info("Copying old preferences file to new location");
                         Utils.copyFile(oldPref, newPref);
-                        if (!oldPref.delete()) {
-                            Main.warn("Unable to delete old preferences file: "+oldPref.getPath());
-                        }
+                        Utils.deleteFile(oldPref, marktr("Unable to delete old preferences file {0}"));
                     } catch (IOException e) {
                         Main.error(e);