# HG changeset patch
# User robcast
# Date 1180372800 -7200
# Node ID 882ee6a055bdfed32b294f7c2260f40f26ddc086
# Parent  72b3813a222438745e86df03acced92fef87a9f0
try to fix small problem with version number display

diff -r 72b3813a2224 -r 882ee6a055bd 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