Monitor.vala

diff --git a/Monitor.vala b/Monitor.vala
index 5deff66..9d2d8e2 100644 (file)
--- a/Monitor.vala
+++ b/Monitor.vala
@@ -176,8 +176,15 @@ public class Monitor : Object
         
         FileInfo next_file;
         
-        while ((next_file = file_enum.next_file(null)) != null) {
-         
+        while (true) {
+            try {        
+                next_file = file_enum.next_file(null))
+            } catch (Error e) {
+                break;
+            }
+            if (next_file == null) {
+                break;
+            }
             //print("got a file " + next_file.sudo () + '?=' + Gio.FileType.DIRECTORY);
             
             if (next_file.get_file_type() != FileType.DIRECTORY) {