changeset 355:4a45cd965133

Servlet version 1.5.9e - fixed a bug reading directories that don't exist anymore
author robcast
date Tue, 25 Oct 2005 20:39:44 +0200
parents 7958035abec1
children 12e3dd21c4cd
files servlet/src/digilib/io/Directory.java
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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);