Changeset 13838 in josm for trunk/src/org/openstreetmap/josm/gui/preferences

Timestamp:

2018-05-26T02:47:41+02:00 (6 years ago)

Author:

Don-vip

Message:

fix #16316 - catch InvalidPathException

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java

@@ -10 +10 @@
 import java.io.File;
 import java.io.IOException;
+import java.nio.file.InvalidPathException;
 import java.util.ArrayList;
 import java.util.Collections;
@@ -341 +342 @@
                     try {
                         Main.pref.save();
-                    } catch (IOException e) {
-                        Logging.log(Logging.LEVEL_WARN, "IOException while saving preferences:", e);
+                    } catch (IOException | InvalidPathException e) {
+                        Logging.log(Logging.LEVEL_WARN, "Exception while saving preferences:", e);
                     }
                     readPreferences(Main.pref);