# HG changeset patch
# User casties
# Date 1287132177 -7200
# Node ID e219910b4ab555500da547077b245baf3a912143
# Parent  a985d69beb41b8535f54cef54f2219f205ed07d9
fixed problem after removing old settings

diff -r a985d69beb41 -r e219910b4ab5 servlet/src/digilib/io/DocuDirCache.java
--- 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");
 	}
 
 	/**
diff -r a985d69beb41 -r e219910b4ab5 servlet/src/digilib/io/DocuDirectory.java
--- 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