From: Niki Roo <niki@nikiroo.be>
Date: Sat, 25 Apr 2020 19:12:10 +0000 (+0200)
Subject: sync
X-Git-Url: https://git.nikiroo.be/?a=commitdiff_plain;h=541f433a46c106d9e22c6057797258856ed8b705;p=fanfix-jexer.git

sync
---

diff --git a/library/BasicLibrary.java b/library/BasicLibrary.java
index 586c4ef..a754c00 100644
--- a/library/BasicLibrary.java
+++ b/library/BasicLibrary.java
@@ -348,14 +348,14 @@ abstract public class BasicLibrary {
 
 	/**
 	 * Check if the {@link Story} denoted by this Library UID is present in the
-	 * cache (if we have no cache, we default to </t>true</tt>).
+	 * cache (if we have no cache, we default to </tt>true</tt>).
 	 * 
 	 * @param luid
 	 *            the Library UID
 	 * 
 	 * @return TRUE if it is
 	 */
-	public boolean isCached(String luid) {
+	public boolean isCached(@SuppressWarnings("unused") String luid) {
 		// By default, everything is cached
 		return true;
 	}
@@ -372,6 +372,7 @@ abstract public class BasicLibrary {
 	 * @throws IOException
 	 *             in case of I/O error
 	 */
+	@SuppressWarnings("unused")
 	public void clearFromCache(String luid) throws IOException {
 		// By default, this is a noop.
 	}
@@ -637,7 +638,7 @@ abstract public class BasicLibrary {
 	 * @throws IOException
 	 *             in case of IOException
 	 */
-	public synchronized Story getStory(String luid, Progress pg)
+	public Story getStory(String luid, Progress pg)
 			throws IOException {
 		Progress pgMetas = new Progress();
 		Progress pgStory = new Progress();
diff --git a/library/CacheLibrary.java b/library/CacheLibrary.java
index 23f19a9..92e4ae7 100644
--- a/library/CacheLibrary.java
+++ b/library/CacheLibrary.java
@@ -326,7 +326,7 @@ public class CacheLibrary extends BasicLibrary {
 	}
 
 	@Override
-	public void delete(String luid) throws IOException {
+	public synchronized void delete(String luid) throws IOException {
 		if (isCached(luid)) {
 			cacheLib.delete(luid);
 		}