sync

diff --git a/library/BasicLibrary.java b/library/BasicLibrary.java
index 586c4ef17e11ff4d8c7eefa1cf6c689dac71ce59..a754c002d3e99b2ecb25df00038599b67b0fa021 100644 (file)
--- 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 23f19a9ed323de88cb2202c6cde7462bf53219de..92e4ae7a9951ec9715dc5faa9271bae362412dbf 100644 (file)
--- 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);
                }