Changeset 12841 in josm for trunk/src/org/openstreetmap/josm/io/CachedFile.java

Timestamp:

2017-09-13T16:30:27+02:00 (8 years ago)

Author:

bastiK

Message:

see #15229 - fix deprecations caused by [12840]

File:

• trunk/src/org/openstreetmap/josm/io/CachedFile.java (modified) (5 diffs)

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

@@ -381 +381 @@
             if (!"file".equals(url.getProtocol())) {
                 String prefKey = getPrefKey(url, destDir);
-                List<String> localPath = new ArrayList<>(Main.pref.getCollection(prefKey));
+                List<String> localPath = new ArrayList<>(Main.pref.getList(prefKey));
                 if (localPath.size() == 2) {
                     File lfile = new File(localPath.get(1));
@@ -388 +388 @@
                     }
                 }
-                Main.pref.putCollection(prefKey, null);
+                Main.pref.putList(prefKey, null);
             }
         } catch (MalformedURLException e) {
@@ -419 +419 @@
         Long ifModifiedSince = null;
         File localFile = null;
-        List<String> localPathEntry = new ArrayList<>(Main.pref.getCollection(prefKey));
+        List<String> localPathEntry = new ArrayList<>(Main.pref.getList(prefKey));
         boolean offline = false;
         try {
@@ -476 +476 @@
                 if (localFile == null)
                     throw new AssertionError();
-                Main.pref.putCollection(prefKey,
+                Main.pref.putList(prefKey,
                         Arrays.asList(Long.toString(System.currentTimeMillis()), localPathEntry.get(1)));
                 return localFile;
@@ -488 +488 @@
             localFile = new File(destDir, localPath);
             if (Main.platform.rename(destDirFile, localFile)) {
-                Main.pref.putCollection(prefKey,
+                Main.pref.putList(prefKey,
                         Arrays.asList(Long.toString(System.currentTimeMillis()), localFile.toString()));
             } else {