# HG changeset patch
# User robcast
# Date 1130265584 -7200
# Node ID d53f0a00c5ab9a68ff174c56f31d61e8f7a94cb5
# Parent  42710923d7215a34f2768e1cfacf80abd2731321
Servlet version 1.5.9e
- fixed a bug reading directories that don't exist anymore

diff -r 42710923d721 -r d53f0a00c5ab servlet/src/digilib/io/Directory.java
--- a/servlet/src/digilib/io/Directory.java	Wed Oct 12 19:09:41 2005 +0200
+++ b/servlet/src/digilib/io/Directory.java	Tue Oct 25 20:39:44 2005 +0200
@@ -84,7 +84,9 @@
 		if (dir != null) {
 			//logger.debug("reading dir: "+dir.getPath());
 			list = dir.list();
-			Arrays.sort(list);
+			if (list != null) {
+				Arrays.sort(list);
+			}
 			//logger.debug("  done");
 		}
 		return (list != null);