Changeset 76 in josm for src/org

Timestamp:

2006-03-30T00:52:24+02:00 (19 years ago)

Author:

imi

Message:

fixed: Preferences directory is now created if not present.

File:

• src/org/openstreetmap/josm/Main.java (modified) (1 diff)

src/org/openstreetmap/josm/Main.java

@@ -214 +214 @@
                 }
 
-                
+                File prefDir = new File(Preferences.getPreferencesDir());
+                if (prefDir.exists() && !prefDir.isDirectory()) {
+                        JOptionPane.showMessageDialog(null, "Cannot open preferences directory: "+Preferences.getPreferencesDir());
+                        return;
+                }
+                if (!prefDir.exists())
+                        prefDir.mkdirs();
+
                 // load preferences
                 String errMsg = null;