# HG changeset patch
# User robcast
# Date 1097590003 -7200
# Node ID 6e6bf5aa7ad2fbbb31659451f2495107b3926d52
# Parent  2c7747cc1838672e51598d5d7fcf003f98112d78
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 2c7747cc1838 -r 6e6bf5aa7ad2 servlet/src/digilib/auth/HashTree.java
--- a/servlet/src/digilib/auth/HashTree.java	Tue Oct 12 16:06:42 2004 +0200
+++ b/servlet/src/digilib/auth/HashTree.java	Tue Oct 12 16:06:43 2004 +0200
@@ -37,7 +37,7 @@
  */
 public class HashTree {
 
-    private HashMap table;
+    private Map table;
 
     private String twigSep = "/";
 
@@ -53,7 +53,7 @@
      * @param twig_separator
      * @param leaf_separator
      */
-    public HashTree(HashMap t, String twig_separator, String leaf_separator) {
+    public HashTree(Map t, String twig_separator, String leaf_separator) {
         table = t;
         twigSep = twig_separator;
         leafSep = leaf_separator;
diff -r 2c7747cc1838 -r 6e6bf5aa7ad2 servlet/src/digilib/auth/XMLAuthOps.java
--- a/servlet/src/digilib/auth/XMLAuthOps.java	Tue Oct 12 16:06:42 2004 +0200
+++ b/servlet/src/digilib/auth/XMLAuthOps.java	Tue Oct 12 16:06:43 2004 +0200
@@ -21,8 +21,8 @@
 package digilib.auth;
 
 import java.io.File;
-import java.util.HashMap;
 import java.util.List;
+import java.util.Map;
 
 import javax.servlet.http.HttpServletRequest;
 
@@ -69,8 +69,8 @@
 	 */
 	public void init() throws AuthOpException {
 		logger.debug("xmlauthops.init (" + configFile + ")");
-		HashMap pathList = null;
-		HashMap ipList = null;
+		Map pathList = null;
+		Map ipList = null;
 		try {
 			// load authPaths
 			XMLListLoader pathLoader =