# HG changeset patch
# User robcast
# Date 1097590003 -7200
# Node ID fba0857fde349a73a5c5335186b574a357206851
# Parent  4c068f899c1eb5fc4f65d72d1f82718d2be9c833
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 4c068f899c1e -r fba0857fde34 servlet/src/digilib/servlet/Scaler.java
--- a/servlet/src/digilib/servlet/Scaler.java	Tue Oct 12 16:06:43 2004 +0200
+++ b/servlet/src/digilib/servlet/Scaler.java	Tue Oct 12 16:06:43 2004 +0200
@@ -61,7 +61,7 @@
 	private static final long serialVersionUID = -325080527268912852L;
 
 	// digilib servlet version (for all components)
-	public static final String dlVersion = "1.21b1";
+	public static final String dlVersion = "1.21b3";
 
 	// logger for accounting requests
 	Logger accountlog = Logger.getLogger("account.request");