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

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