diff servlet/src/digilib/io/Directory.java @ 281:60a064f27d25

Servlet version 1.22b1 - more fast searching (hopefully all working now) - some simple synchronisation - some reshuffling of methods to eliminate cruft
author robcast
date Fri, 15 Oct 2004 16:59:47 +0200
parents b21915a3fc24
children 87dca7119596
line wrap: on
line diff