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

diff -r da564c0f610f -r 3409ca4ec5f5 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