while (true) {
try {
- next_file = file_enum.next_file(null));
+ next_file = file_enum.next_file(null);
} catch (Error e) {
break;
}
this.monitor(sp, fn, depth + 1);
}
-
- file_enum.close(null);
+ try {
+ file_enum.close(null);
+ } catch(Error e) {
+ // ignore?
+ }
}