diff servlet/src/digilib/io/DocuDirCache.java @ 152:f4a5cfe37469

Servlet version 1.16a1 - cleanup of DigilibConfig class - now uses new Parameter and ParameterMap classes - new parameter default-quality
author robcast
date Wed, 03 Sep 2003 00:54:38 +0200
parents bc8df0133c04
children e743b853efca
line wrap: on
line diff
--- a/servlet/src/digilib/io/DocuDirCache.java	Mon Sep 01 18:21:27 2003 +0200
+++ b/servlet/src/digilib/io/DocuDirCache.java	Wed Sep 03 00:54:38 2003 +0200
@@ -111,7 +111,7 @@
 			// cache miss
 			misses++;
 			// see if it's a directory
-			File f = new File(baseDirNames[0] + fn);
+			File f = new File(baseDirNames[0], fn);
 			if (f.isDirectory()) {
 				dd = new DocuDirectory(fn, this);
 				if (dd.isValid()) {
@@ -175,7 +175,7 @@
 			// cache miss
 			misses++;
 			// see if it's a directory
-			File f = new File(baseDirNames[0] + fn);
+			File f = new File(baseDirNames[0], fn);
 			if (f.isDirectory()) {
 				dd = new DocuDirectory(fn, this);
 				if (dd.isValid()) {