# HG changeset patch
# User robcast
# Date 1098106249 -7200
# Node ID 3b170dfb17b487f0aac1ffcfa6988a58c8a8576f
# Parent  f526087bb70f0d06ff1b0327b7a5d216a00230b7
Servlet version 1.22b2
- fixed bug with filenames sans extensions

diff -r f526087bb70f -r 3b170dfb17b4 servlet/src/digilib/io/DocuDirCache.java
--- a/servlet/src/digilib/io/DocuDirCache.java	Fri Oct 15 17:00:15 2004 +0200
+++ b/servlet/src/digilib/io/DocuDirCache.java	Mon Oct 18 15:30:49 2004 +0200
@@ -192,7 +192,7 @@
 			// cache miss
 			misses++;
 			/*
-			 * see if it's a directory
+			 * see if fn is a directory
 			 */
 			File f = new File(baseDirNames[0], fn);
 			if (f.isDirectory()) {