cope with File.list() returning null

darcs-hash:20040708091149-5007d-0117e951e1f6f27b850b6828bb336f2674b58a8c.gz

diff --git a/src/org/ibex/jinetd/Watched.java b/src/org/ibex/jinetd/Watched.java
index ce3267b..5d280c6 100644 (file)
--- a/src/org/ibex/jinetd/Watched.java
+++ b/src/org/ibex/jinetd/Watched.java
@@ -26,6 +26,7 @@ public class Watched extends File {
         }
         for(int i=0; i<removals.size(); i++) cache.remove(removals.elementAt(i));
         String[] kids = list();        
+        if (kids == null) return;
         for(int i=0; i<kids.length; i++) {
             if (cache.get(kids[i]) != null) continue;
             Watched kid = slash(kids[i]);