# HG changeset patch
# User robcast
# Date 1097590002 -7200
# Node ID 449aed8d0f8087085600bda47c4f22321630ff78
# Parent  e30e017fdb896bde59d6dd85a5d57671529167e4
Servlet version 1.21b3
- searching in directories got faster (real binarySearch now!)
- cached file lists get disposed
- some code cleaning (Map types instead of HashMap)

diff -r e30e017fdb89 -r 449aed8d0f80 servlet/src/digilib/io/AliasingDocuDirCache.java
--- a/servlet/src/digilib/io/AliasingDocuDirCache.java	Mon Oct 11 21:29:11 2004 +0200
+++ b/servlet/src/digilib/io/AliasingDocuDirCache.java	Tue Oct 12 16:06:42 2004 +0200
@@ -23,8 +23,8 @@
 package digilib.io;
 
 import java.io.File;
-import java.util.HashMap;
 import java.util.Iterator;
+import java.util.Map;
 
 import digilib.servlet.DigilibConfiguration;
 
@@ -45,7 +45,7 @@
 			throws FileOpException {
 		// create standard DocuDirCache
 		super(baseDirs, fileClasses, dlConfig);
-		HashMap pathMap = null;
+		Map pathMap = null;
 		// read alias config file
 		try {
 			// load into pathMap