# HG changeset patch
# User robcast
# Date 1097590002 -7200
# Node ID 2c7747cc1838672e51598d5d7fcf003f98112d78
# Parent  a3ddad5edfaf0dc0dffa0a79395007e26fbf7e0d
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 a3ddad5edfaf -r 2c7747cc1838 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