Changeset 11195 in josm

Timestamp:

2016-10-30T19:25:34+01:00 (8 years ago)

Author:

wiktorn

Message:

Do not remove cache file if the file is local.

Local files accessed through CachedFile are not copied, only a local reference is given. So removing the file means removal of source file.

File:

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

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

@@ -532 +532 @@
      */
     public void clear() throws IOException {
+        URL url;
+        try {
+            url = new URL(name);
+            if ("file".equals(url.getProtocol())) {
+                return; // this is local file - do not delete it
+            }
+        } catch (MalformedURLException e) {
+            return; // if it's not a URL, then it still might be a local file - better not to delete
+        }
         File f = getFile();
         if (f != null && f.exists()) {