comparison 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
comparison
equal deleted inserted replaced
151:bc8df0133c04 152:f4a5cfe37469
109 dd = (DocuDirectory) map.get(fn); 109 dd = (DocuDirectory) map.get(fn);
110 if (dd == null) { 110 if (dd == null) {
111 // cache miss 111 // cache miss
112 misses++; 112 misses++;
113 // see if it's a directory 113 // see if it's a directory
114 File f = new File(baseDirNames[0] + fn); 114 File f = new File(baseDirNames[0], fn);
115 if (f.isDirectory()) { 115 if (f.isDirectory()) {
116 dd = new DocuDirectory(fn, this); 116 dd = new DocuDirectory(fn, this);
117 if (dd.isValid()) { 117 if (dd.isValid()) {
118 // add to the cache 118 // add to the cache
119 putDir(dd); 119 putDir(dd);
173 dd = (DocuDirectory) map.get(fn); 173 dd = (DocuDirectory) map.get(fn);
174 if (dd == null) { 174 if (dd == null) {
175 // cache miss 175 // cache miss
176 misses++; 176 misses++;
177 // see if it's a directory 177 // see if it's a directory
178 File f = new File(baseDirNames[0] + fn); 178 File f = new File(baseDirNames[0], fn);
179 if (f.isDirectory()) { 179 if (f.isDirectory()) {
180 dd = new DocuDirectory(fn, this); 180 dd = new DocuDirectory(fn, this);
181 if (dd.isValid()) { 181 if (dd.isValid()) {
182 // add to the cache 182 // add to the cache
183 putDir(dd); 183 putDir(dd);