changeset 545:88ec23c2b2fb digilibPDF

fixed problem after removing old settings
author casties
date Fri, 15 Oct 2010 10:42:57 +0200
parents 5ff500d6812a
children e7c29b587829
files servlet/src/digilib/io/DocuDirCache.java servlet/src/digilib/io/DocuDirectory.java
diffstat 2 files changed, 2 insertions(+), 9 deletions(-) [+]
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");
 	}
 
 	/**
--- a/servlet/src/digilib/io/DocuDirectory.java	Thu Oct 14 20:47:31 2010 +0200
+++ b/servlet/src/digilib/io/DocuDirectory.java	Fri Oct 15 10:42:57 2010 +0200
@@ -185,11 +185,8 @@
 		 * extensions) but slower.
 		 */
 		File[] allFiles = null;
-		if (cache.safeDirIndex) {
-			allFiles = dir.listFiles(new FileOps.ReadableFileFilter());
-		} else {
-			allFiles = dir.listFiles();
-		}
+		//	allFiles = dir.listFiles(new FileOps.ReadableFileFilter());
+		allFiles = dir.listFiles();
 		//logger.debug("  done");
 		if (allFiles == null) {
 			// not a directory