# HG changeset patch
# User robcast
# Date 1097590003 -7200
# Node ID 83daab03d8bf931b3cd8863fb255ae080f875360
# Parent  3800e9c37f8f2e52574a3c070985330330e9f339
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 3800e9c37f8f -r 83daab03d8bf servlet/src/digilib/io/XMLMetaLoader.java
--- a/servlet/src/digilib/io/XMLMetaLoader.java	Tue Oct 12 16:06:43 2004 +0200
+++ b/servlet/src/digilib/io/XMLMetaLoader.java	Tue Oct 12 16:06:43 2004 +0200
@@ -23,6 +23,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;
@@ -53,8 +54,8 @@
 	private class XMLMetaParser extends DefaultHandler {
 
 		private LinkedList tags;
-		private HashMap files;
-		private HashMap meta;
+		private Map files;
+		private Map meta;
 		private StringBuffer content;
 		private boolean collecting;
 		private StringBuffer collectedContent;
@@ -260,7 +261,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 {
 		logger.debug("loading meta: "+path);
 		// Create a JAXP SAXParserFactory and configure it
 		SAXParserFactory spf = SAXParserFactory.newInstance();