ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-06-19 23:53:55 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

init: handle Service_denied during child creation

Browse Source 
Ref #1987
This commit is contained in:
Martin Stein
2017-01-26 13:51:47 +01:00
committed by Norman Feske
parent 9b3ecb114d
commit 7184f0febe
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/os/src/init/main.cc
View File

@ -351,6 +351,8 @@ void Init::Main::_handle_config()
catch (Region_map::Attach_failed) { catch (Region_map::Attach_failed) {
warning("failed to attach dataspace to local address space " warning("failed to attach dataspace to local address space "
"during child construction"); } "during child construction"); }
catch (Parent::Service_denied) {
warning("failed to create session during child construction"); }
}); });
} }
catch (Xml_node::Nonexistent_sub_node) { error("no children to start"); } catch (Xml_node::Nonexistent_sub_node) { error("no children to start"); }