# HG changeset patch # User robcast # Date 1299171114 -3600 # Node ID ba449162d77fc267dc0877931e54a134ef4e9a32 # Parent 3519cfa11a0beb8b81d708a1f3bd4504752a71df new version nr. diff -r 3519cfa11a0b -r ba449162d77f servlet/src/digilib/servlet/Scaler.java --- a/servlet/src/digilib/servlet/Scaler.java Thu Mar 03 10:08:20 2011 +0100 +++ b/servlet/src/digilib/servlet/Scaler.java Thu Mar 03 17:51:54 2011 +0100 @@ -31,7 +31,7 @@ private static final long serialVersionUID = 5289386646192471549L; /** digilib servlet version (for all components) */ - public static final String version = "1.9.1a16"; + public static final String version = "1.9.1a17"; /** servlet error codes */ public static enum Error {UNKNOWN, AUTH, FILE, IMAGE};