ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-18 13:26:27 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

fs_rom: clear dataspace if lookup failed

Browse Source 
Issue #3897
This commit is contained in:
Roman Iten 2020-09-19 20:33:05 +02:00 committed by Christian Helmuth
parent 9e4b27a829
commit d095945d6c
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
repos/os/src/server/fs_rom/main.cc
View File

@ -304,7 +304,13 @@ class Fs_rom::Rom_session_component : public Rpc_object<Rom_session>
catch (Watch_failed) { }
try { return _read_dataspace(update_only); }
catch (Lookup_failed) { /* missing but may appear anytime soon */ }
catch (Lookup_failed) {
if (_file_size > 0) {
_file_ds.clear();
_file_size = 0;
Signal_transmitter(_sigh).submit();
}
}
catch (Invalid_handle) { warning(_file_path, ": invalid handle"); }
catch (Invalid_name) { warning(_file_path, ": invalid name"); }
catch (Permission_denied) { warning(_file_path, ": permission denied"); }