# HG changeset patch
# User robcast
# Date 1097590127 -7200
# Node ID 1cd317d83ce7dc49894dcd74125ede3630c607b7
# Parent  1f8e91a3f645618a708bbfefcb06e74b5b09f4d2
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 1f8e91a3f645 -r 1cd317d83ce7 client/digitallibrary/WEB-INF/lib/DigilibServlet.jar
Binary file client/digitallibrary/WEB-INF/lib/DigilibServlet.jar has changed