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

diff -r 7fab3f021338 -r c2f8855bb05b client/digitallibrary/WEB-INF/digilib-auth.xml
--- a/client/digitallibrary/WEB-INF/digilib-auth.xml	Wed Oct 29 22:47:15 2003 +0100
+++ b/client/digitallibrary/WEB-INF/digilib-auth.xml	Mon Nov 10 20:17:58 2003 +0100
@@ -1,3 +1,4 @@
+<?xml version="1.0" encoding="UTF-8"?>
 <!-- Authentication configuration file for Digital Document Library -->
 <auth-config>