# HG changeset patch
# User robcast
# Date 1123667885 -7200
# Node ID 269d1028dfb70218ecdd1822a66f77f05f70b7e7
# Parent  86e50ca164f1d36a7e6b928720ccc3b3f2c0095b
Servlet version 1.5.8b
- fixed bug in alias mapping code when alias ended in "/"

diff -r 86e50ca164f1 -r 269d1028dfb7 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");