# HG changeset patch # User robcast # Date 1068491878 -3600 # Node ID a553df56d51fe1e91904ee34aa5dd6bbd8285ee7 # Parent 43d1129a41ba7e1441e9a5e41fc2b743a7fbb50d Servlet version 1.17b2 - new mapping file for "virtual directories" - direct file URLs now work without extension (even with wrong ones) diff -r 43d1129a41ba -r a553df56d51f 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