# HG changeset patch # User robcast # Date 1099488281 -3600 # Node ID 8cdbcc6cd4f729773a57435155872531e170899f # Parent 9bce7008a5145ec3aad1fb20d98e1ade98b9b098 Servlet version 1.5.3b - new getLastModified improves local caching of pages diff -r 9bce7008a514 -r 8cdbcc6cd4f7 client/digitallibrary/WEB-INF/lib/DigilibServlet.jar Binary file client/digitallibrary/WEB-INF/lib/DigilibServlet.jar has changed