Changeset 8186 in josm for trunk/src/org

Timestamp:

2015-04-10T14:06:46+02:00 (10 years ago)

Author:

bastiK

Message:

see #11312 - imagerycache Plugin broken by recent changes in JOSM (patch by wiktorn)

Location:

trunk/src/org/openstreetmap/josm

Files:

• data/cache/JCSCacheManager.java (modified) (5 diffs)
• data/imagery/TMSCachedTileLoader.java (modified) (1 diff)
• gui/layer/TMSLayer.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/data/cache/JCSCacheManager.java

@@ -3 +3 @@
 
 import java.io.File;
+import java.io.FileOutputStream;
 import java.io.IOException;
+import java.nio.channels.FileLock;
 import java.text.MessageFormat;
 import java.util.Properties;
@@ -40 +42 @@
     private final static String PREFERENCE_PREFIX = "jcs.cache";
     private final static IndexedDiskCacheFactory diskCacheFactory = new IndexedDiskCacheFactory();
+    private static FileLock cacheDirLock = null;
 
     /**
@@ -46 +49 @@
     public static final IntegerProperty DEFAULT_MAX_OBJECTS_IN_MEMORY  = new IntegerProperty(PREFERENCE_PREFIX + ".max_objects_in_memory", 1000);
 
+    @SuppressWarnings("resource")
     private static void initialize() throws IOException {
         File cacheDir = new File(Main.pref.getCacheDirectory(), "jcs");
@@ -51 +55 @@
         if ((!cacheDir.exists() && !cacheDir.mkdirs()))
             throw new IOException("Cannot access cache directory");
+
+        File cacheDirLockPath = new File(cacheDir, ".lock");
+        if (!cacheDirLockPath.exists())
+            cacheDirLockPath.createNewFile();
+        cacheDirLock = new FileOutputStream(cacheDirLockPath).getChannel().tryLock();
+
+        if (cacheDirLock == null)
+            log.log(Level.WARNING, "Cannot lock cache directory. Will not use disk cache");
 
         // raising logging level gives ~500x performance gain
@@ -139 +151 @@
         CompositeCache<K, V> cc = cacheManager.getCache(cacheName, getCacheAttributes(maxMemoryObjects));
 
-        if (cachePath != null) {
+        if (cachePath != null && cacheDirLock != null) {
             IndexedDiskCacheAttributes diskAttributes = getDiskCacheAttributes(maxDiskObjects, cachePath);
             diskAttributes.setCacheName(cacheName);

trunk/src/org/openstreetmap/josm/data/imagery/TMSCachedTileLoader.java

@@ -62 +62 @@
 
     @Override
-    public void clearCache() {
+    public void clearCache(TileSource source) {
         this.cache.clear();
     }

trunk/src/org/openstreetmap/josm/gui/layer/TMSLayer.java

@@ -194 +194 @@
         tileCache.clear();
         if (tileLoader instanceof CachedTileLoader) {
-            ((CachedTileLoader)tileLoader).clearCache();
+            ((CachedTileLoader)tileLoader).clearCache(tileSource);
         }
     }