# HG changeset patch
# User robcast
# Date 1098106249 -7200
# Node ID dd1e681924bf567c180831118bce90f7f2b8265c
# Parent  07bb7d594477a2d2291b0730d7ce56847a4f7b54
Servlet version 1.22b2
- fixed bug with filenames sans extensions

diff -r 07bb7d594477 -r dd1e681924bf 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()) {