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

diff -r 55e1aba98c15 -r 07bb7d594477 client/digitallibrary/WEB-INF/lib/DigilibServlet.jar
Binary file client/digitallibrary/WEB-INF/lib/DigilibServlet.jar has changed