changeset 99:226624784fe3

Small bug lead to null pointer exception when directory doesn't exist.
author robcast
date Mon, 05 May 2003 22:16:21 +0200
parents 041340d1b00e
children cc6a0b9ac78e
files servlet/src/digilib/io/DocuDirCache.java
diffstat 1 files changed, 7 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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 {