mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 17:52:52 +00:00
fs_query: catch File::Truncated_during_read
Fixes genodelabs/genode#4241
This commit is contained in:
parent
0840cfe834
commit
80c1459e79
@ -107,6 +107,8 @@ struct Fs_query::Watched_file
|
||||
warning("could not obtain content of nonexistent file ", _name); }
|
||||
catch (File::Open_failed) {
|
||||
warning("cannot open file ", _name, " for reading"); }
|
||||
catch (File::Truncated_during_read) {
|
||||
warning("file ", _name, " truncated during read"); }
|
||||
catch (Xml_generator::Buffer_exceeded) { throw; }
|
||||
}
|
||||
};
|
||||
|
Loading…
x
Reference in New Issue
Block a user