# HG changeset patch
# User robcast
# Date 1123667885 -7200
# Node ID ca4d4ea8cc2602e75aff786659efeea6731ce0fb
# Parent  61c6e4a8d6fc0bc9fc444189baf837d598242d8f
Servlet version 1.5.8b
- fixed bug in alias mapping code when alias ended in "/"

diff -r 61c6e4a8d6fc -r ca4d4ea8cc26 servlet/src/digilib/servlet/Scaler.java
--- a/servlet/src/digilib/servlet/Scaler.java	Wed Aug 10 11:58:05 2005 +0200
+++ b/servlet/src/digilib/servlet/Scaler.java	Wed Aug 10 11:58:05 2005 +0200
@@ -59,7 +59,7 @@
 	private static final long serialVersionUID = -325080527268912852L;
 
 	/** digilib servlet version (for all components) */
-	public static final String dlVersion = "1.5.7b";
+	public static final String dlVersion = "1.5.8b";
 
 	/** logger for accounting requests */
 	private static Logger accountlog = Logger.getLogger("account.request");