diff servlet/src/digilib/auth/HashTree.java @ 269:6e6bf5aa7ad2

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)
author robcast
date Tue, 12 Oct 2004 16:06:43 +0200
parents 6221d688eab6
children e758a49258e8
line wrap: on
line diff
--- 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;