# 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 {