# HG changeset patch # User robcast # Date 1068491878 -3600 # Node ID a5300ee2a1fc5f2817d8ae11efab5062db138e4a # Parent a97798c6de2a1b61117531ac718e6c38be7a47f5 Servlet version 1.17b2 - new mapping file for "virtual directories" - direct file URLs now work without extension (even with wrong ones) diff -r a97798c6de2a -r a5300ee2a1fc client/digitallibrary/WEB-INF/digilib-map.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/client/digitallibrary/WEB-INF/digilib-map.xml Mon Nov 10 20:17:58 2003 +0100 @@ -0,0 +1,6 @@ + + + + + + \ No newline at end of file