--- /usr/share/gnome-shell/js/misc/fileUtils.js.orig	2013-11-18 21:09:46.000000000 +0100
+++ /usr/share/gnome-shell/js/misc/fileUtils.js	2014-01-04 18:03:10.210908587 +0100
@@ -10,6 +10,7 @@
     file.enumerate_children_async('standard::name,standard::type',
                                   Gio.FileQueryInfoFlags.NONE,
                                   GLib.PRIORITY_LOW, null, function (obj, res) {
+	try {
         let enumerator = obj.enumerate_children_finish(res);
         function onNextFileComplete(obj, res) {
             let files = obj.next_files_finish(res);
@@ -22,6 +23,11 @@
             }
         }
         enumerator.next_files_async(100, GLib.PRIORITY_LOW, null, onNextFileComplete);
+	}
+	catch (e) {
+	    log ("Caught " + e);
+	    callback (allFiles);
+	}
     });
 }
 
