# HG changeset patch # User robcast # Date 1093388790 -7200 # Node ID 8812d413805a9152b06b2c7e6647924b6366d7d7 # Parent 6b1d5d9f9aa0ee686db314753b683f98f2c67d78 servlet version 1.19b5 - filename and dpi in request - filename and dpi in dlInfo-* diff -r 6b1d5d9f9aa0 -r 8812d413805a servlet/src/digilib/servlet/Scaler.java --- a/servlet/src/digilib/servlet/Scaler.java Wed Aug 25 01:06:30 2004 +0200 +++ b/servlet/src/digilib/servlet/Scaler.java Wed Aug 25 01:06:30 2004 +0200 @@ -59,7 +59,7 @@ public class Scaler extends HttpServlet { // digilib servlet version (for all components) - public static final String dlVersion = "1.19b4"; + public static final String dlVersion = "1.19b5"; // logger for accounting requests Logger accountlog = Logger.getLogger("account.request");