# HG changeset patch
# User robcast
# Date 1097590127 -7200
# Node ID 0fa87ab00feb5e75c2d939e83872b48d5d67b380
# Parent  fba0857fde349a73a5c5335186b574a357206851
Servlet version 1.21b3
- searching in directories got faster (real binarySearch now!)
- cached file lists get disposed
- some code cleaning (Map types instead of HashMap)

diff -r fba0857fde34 -r 0fa87ab00feb client/digitallibrary/WEB-INF/lib/DigilibServlet.jar
Binary file client/digitallibrary/WEB-INF/lib/DigilibServlet.jar has changed