Very strange, but making the modification you suggest would lead to a
behaviour which is not the one intended. Please try to apply this
patch and tell me if it corrected the bug :
Index: LRUMapTileCache.java
===================================================================
--- LRUMapTileCache.java (révision 46)
+++ LRUMapTileCache.java (copie de travail)
@@ -119,7 +119,8 @@
* @param key of the value to move to the top of the
list
*/
private void updateKey(final String key)
{
-
this.list.remove(key);
+ if
(super.containsKey(key))
+
this.list.remove(key);
this.list.addFirst(key);
}
Valentin
On 24 mai, 17:27, "
fabien.carr...@gmail.com"