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

diff -r 7958035abec1 -r 4a45cd965133 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);