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

diff -r 6c01d283e90e -r 72b3813a2224 servlet/src/digilib/servlet/DigilibConfiguration.java
--- a/servlet/src/digilib/servlet/DigilibConfiguration.java	Sat May 12 14:23:34 2007 +0200
+++ b/servlet/src/digilib/servlet/DigilibConfiguration.java	Mon May 28 19:20:00 2007 +0200
@@ -76,7 +76,7 @@
 		// digilib servlet version
 		newParameter(
 			"servlet.version",
-			digilib.servlet.Scaler.dlVersion,
+			digilib.servlet.Scaler.getVersion(),
 			null,
 			's');
 		// configuration file location