# HG changeset patch
# User robcast
# Date 1097590003 -7200
# Node ID 084ef7fbe420ad4133a036a65073e2142ad23c1c
# Parent  d3abaf38fb5f1981a3c60169da2040113254f5ec
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 d3abaf38fb5f -r 084ef7fbe420 servlet/src/digilib/io/XMLListLoader.java
--- a/servlet/src/digilib/io/XMLListLoader.java	Tue Oct 12 16:06:43 2004 +0200
+++ b/servlet/src/digilib/io/XMLListLoader.java	Tue Oct 12 16:06:43 2004 +0200
@@ -24,6 +24,7 @@
 import java.io.IOException;
 import java.util.HashMap;
 import java.util.LinkedList;
+import java.util.Map;
 
 import javax.xml.parsers.ParserConfigurationException;
 import javax.xml.parsers.SAXParser;
@@ -74,10 +75,10 @@
 	 */
 	private class XMLListParser extends DefaultHandler {
 
-		private HashMap listData;
+		private Map listData;
 		private LinkedList tagSpace;
 
-		public HashMap getData() {
+		public Map getData() {
 			return listData;
 		}
 
@@ -150,7 +151,7 @@
 	 *  load and parse a file (as URL)
 	 *    returns HashMap with list data
 	 */
-	public HashMap loadURL(String path) throws SAXException, IOException {
+	public Map loadURL(String path) throws SAXException, IOException {
 		//System.out.println("loadurl ("+path+")");
 		// Create a JAXP SAXParserFactory and configure it
 		SAXParserFactory spf = SAXParserFactory.newInstance();