Changeset 1747 in josm for trunk/src/org/openstreetmap/josm/io

Timestamp:

2009-07-08T15:26:12+02:00 (17 years ago)

Author:

stoecker

Message:

close #2874 (NPE), improved external style handling

File:

• trunk/src/org/openstreetmap/josm/io/MirroredInputStream.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/io/MirroredInputStream.java

@@ -62 +62 @@
     {
        return file;
+    }
+
+    static public void cleanup(String name)
+    {
+      cleanup(name, null);
+    }
+    static public void cleanup(String name, String destDir)
+    {
+        URL url;
+        try {
+            url = new URL(name);
+            if (!url.getProtocol().equals("file"))
+            {
+                String localPath = Main.pref.get("mirror." + url);
+                if (localPath != null && localPath.length() > 0)
+                {
+                    String[] lp = localPath.split(";");
+                    File lfile = new File(lp[1]);
+                    if(lfile.exists())
+                        lfile.delete();
+                }
+                Main.pref.put("mirror." + url, null);
+            }
+        } catch (java.net.MalformedURLException e) {}
     }