* java/io/File.java (list): Return empty list for unreadable dirs.

2 files changed, 6 insertions, 1 deletions

diff --git a/ChangeLog b/ChangeLog
index 23464a7d2..157f55bc5 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
 2006-11-25  Mark Wielaard  <mark@klomp.org>
 
+	* java/io/File.java (list): Return empty list for unreadable dirs.
+
+2006-11-25  Mark Wielaard  <mark@klomp.org>
+
 	* gnu/java/awt/peer/gtk/CairoGraphics2D.java (drawGlyphVector):
 	Synchronize on font peer.
 	(setFont): Likewise.
diff --git a/java/io/File.java b/java/io/File.java
index 1e0d22b47..49a0c818c 100644
--- a/java/io/File.java
+++ b/java/io/File.java
@@ -754,8 +754,9 @@ public class File implements Serializable, Comparable
     String files[] = VMFile.list(path);
     
     // Check if an error occured in listInternal().
+    // This is an unreadable directory, pretend there is nothing inside.
     if (files == null)
-      return null;
+      return new String[0];
 
     if (filter == null)
       return files;