# HG changeset patch
# User robcast
# Date 1068491878 -3600
# Node ID 43d1129a41ba7e1441e9a5e41fc2b743a7fbb50d
# Parent  c2f8855bb05b9efbd7a59f71aea3286c8f299c58
Servlet version 1.17b2
- new mapping file for "virtual directories"
- direct file URLs now work without extension (even with wrong ones)

diff -r c2f8855bb05b -r 43d1129a41ba client/digitallibrary/WEB-INF/digilib-config.xml
--- a/client/digitallibrary/WEB-INF/digilib-config.xml	Mon Nov 10 20:17:58 2003 +0100
+++ b/client/digitallibrary/WEB-INF/digilib-config.xml	Mon Nov 10 20:17:58 2003 +0100
@@ -1,3 +1,4 @@
+<?xml version="1.0" encoding="UTF-8"?>
 <!-- Digilib servlet config file -->
 
 <digilib-config>
@@ -37,4 +38,11 @@
 
   <!-- Part of URL to indicate authenticated access to Tomcat. -->
   <parameter name="auth-url-path" value="authenticated/" />
+  
+  <!-- use mapping of "virtual directories" to real directories on the server -->
+  <parameter name="use-mapping" value="false"/>
+  
+  <!-- location of XML mapping file -->
+  <parameter name="mapping-file" value="digilib-map.xml"/>
+  
 </digilib-config>