diff servlet/src/digilib/io/DocuDirCache.java @ 545:88ec23c2b2fb digilibPDF

fixed problem after removing old settings
author casties
date Fri, 15 Oct 2010 10:42:57 +0200
parents e758a49258e8
children 686086d6e6d6
line wrap: on
line diff
--- a/servlet/src/digilib/io/DocuDirCache.java	Thu Oct 14 20:47:31 2010 +0200
+++ b/servlet/src/digilib/io/DocuDirCache.java	Fri Oct 15 10:42:57 2010 +0200
@@ -58,9 +58,6 @@
 	/** number of cache misses */
 	long misses = 0;
 
-	/** use safe (but slow) indexing */
-	boolean safeDirIndex = false;
-
 	/** the root directory element */
 	public static Directory ROOT = null;
 
@@ -75,7 +72,6 @@
 		baseDirNames = bd;
 		map = new HashMap<String, DocuDirectory>();
 		this.fileClasses = fileClasses;
-		safeDirIndex = dlConfig.getAsBoolean("safe-dir-index");
 	}
 
 	/**