# HG changeset patch # User robcast # Date 1130265588 -7200 # Node ID 12e3dd21c4cd882bd10dda5face5f607ed1a9640 # Parent 4a45cd9651331bb3bddfd719bd4ad6c2ab304b66 Servlet version 1.5.9e - fixed a bug reading directories that don't exist anymore diff -r 4a45cd965133 -r 12e3dd21c4cd servlet/src/digilib/servlet/Scaler.java --- a/servlet/src/digilib/servlet/Scaler.java Tue Oct 25 20:39:44 2005 +0200 +++ b/servlet/src/digilib/servlet/Scaler.java Tue Oct 25 20:39:48 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.9d"; + public static final String dlVersion = "1.5.9e"; /** logger for accounting requests */ private static Logger accountlog = Logger.getLogger("account.request");