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

diff -r a553df56d51f -r 5bbfa17524bb client/digitallibrary/WEB-INF/lib/DigilibServlet.jar
Binary file client/digitallibrary/WEB-INF/lib/DigilibServlet.jar has changed