# HG changeset patch
# User robcast
# Date 1299171114 -3600
# Node ID 5192522636efa022047d216f4eacf2db559fd556
# Parent  b7741487e06fed308d79666eba844e1589068924
new version nr.

diff -r b7741487e06f -r 5192522636ef 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};