# HG changeset patch
# User robcast
# Date 1097852415 -7200
# Node ID f526087bb70f0d06ff1b0327b7a5d216a00230b7
# Parent  8fdc08ebb6c81ce89aac3dbb776afc7c0ee222ca
Servlet version 1.22b1
- more fast searching (hopefully all working now)
- some simple synchronisation
- some reshuffling of methods to eliminate cruft

diff -r 8fdc08ebb6c8 -r f526087bb70f client/digitallibrary/WEB-INF/lib/DigilibServlet.jar
Binary file client/digitallibrary/WEB-INF/lib/DigilibServlet.jar has changed