# HG changeset patch
# User robcast
# Date 1052165781 -7200
# Node ID 226624784fe3fd4f95f7ec66bfd39524c370f565
# Parent  041340d1b00e50234e990bc829a154a59affb0fb
Small bug lead to null pointer exception when directory doesn't exist.

diff -r 041340d1b00e -r 226624784fe3 servlet/src/digilib/io/DocuDirCache.java
--- a/servlet/src/digilib/io/DocuDirCache.java	Mon May 05 18:42:58 2003 +0200
+++ b/servlet/src/digilib/io/DocuDirCache.java	Mon May 05 22:16:21 2003 +0200
@@ -115,11 +115,14 @@
 							return null;
 						}
 					} else {
-						// not a real cache miss then
+						// then it was not a real cache miss
 						misses--;
 					}
 					// get the file's index
 					n = dd.indexOf(f.getName());
+				} else {
+					// it's not even a file :-(
+					return null;
 				}
 			}
 		} else {
@@ -177,6 +180,9 @@
 						// not a real cache miss then
 						misses--;
 					}
+				} else {
+					// it's not even a file :-(
+					return null;
 				}
 			}
 		} else {