# HG changeset patch
# User robcast
# Date 1180372800 -7200
# Node ID 1dcfcc8450b5487b3e333ba42c96520a1774dc53
# Parent  3409ca4ec5f5cf57e3c37af32907889d105a1a0a
try to fix small problem with version number display

diff -r 3409ca4ec5f5 -r 1dcfcc8450b5 servlet/src/digilib/servlet/Scaler.java
--- a/servlet/src/digilib/servlet/Scaler.java	Mon May 28 19:20:00 2007 +0200
+++ b/servlet/src/digilib/servlet/Scaler.java	Mon May 28 19:20:00 2007 +0200
@@ -742,4 +742,11 @@
 
 	}
 
+	/**
+	 * @return the dlVersion
+	 */
+	public static String getVersion() {
+		return dlVersion;
+	}
+
 } // Scaler class