changeset 287:dd1e681924bf

Servlet version 1.22b2 - fixed bug with filenames sans extensions
author robcast
date Mon, 18 Oct 2004 15:30:49 +0200
parents 07bb7d594477
children ffafe3e470fb
files servlet/src/digilib/io/DocuDirCache.java
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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()) {