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

diff -r 3ca96ec73cc2 -r a97798c6de2a 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>