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

Handle the case that init has no children

Browse Source 
Fixes #183
This commit is contained in:
Martin Stein 2012-04-19 11:52:49 +02:00 committed by Norman Feske
parent cb9b2724de
commit afe996df74
1 changed files with 12 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
os/src/init/main.cc
View File

@ -157,15 +157,20 @@ int main(int, char **)
catch (...) { } catch (...) { }
/* create children */ /* create children */
Genode::Xml_node start_node = Genode::config()->xml_node().sub_node("start"); try {
for (;; start_node = start_node.next("start")) { Genode::Xml_node start_node = Genode::config()->xml_node().sub_node("start");
for (;; start_node = start_node.next("start")) {
children.insert(new (Genode::env()->heap()) children.insert(new (Genode::env()->heap())
Child(start_node, default_route_node, &children, Child(start_node, default_route_node, &children,
read_prio_levels_log2(), read_prio_levels_log2(),
&parent_services, &child_services, &cap)); &parent_services, &child_services, &cap));
if (start_node.is_last("start")) break; if (start_node.is_last("start")) break;
}
}
catch (Genode::Xml_node::Nonexistent_sub_node) {
PERR("No children to start");
} }
/* start children */ /* start children */