# HG changeset patch
# User robcast
# Date 1097590003 -7200
# Node ID 4c068f899c1eb5fc4f65d72d1f82718d2be9c833
# Parent  d4c0c4d858a9321992cd5a7d072e20b47c6370bf
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 d4c0c4d858a9 -r 4c068f899c1e servlet/src/digilib/servlet/DigilibConfiguration.java
--- a/servlet/src/digilib/servlet/DigilibConfiguration.java	Tue Oct 12 16:06:43 2004 +0200
+++ b/servlet/src/digilib/servlet/DigilibConfiguration.java	Tue Oct 12 16:06:43 2004 +0200
@@ -22,8 +22,8 @@
 package digilib.servlet;
 
 import java.io.File;
-import java.util.HashMap;
 import java.util.Iterator;
+import java.util.Map;
 
 import javax.servlet.ServletConfig;
 import javax.servlet.ServletException;
@@ -186,7 +186,7 @@
 		XMLListLoader lilo =
 			new XMLListLoader("digilib-config", "parameter", "name", "value");
 		// read config file into HashMap
-		HashMap confTable = lilo.loadURL(f.toURL().toString());
+		Map confTable = lilo.loadURL(f.toURL().toString());
 
 		// set config file path parameter
 		setValue("servlet.config.file", f.getCanonicalPath());