mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 05:37:54 +00:00
exec_terminal: sandbox errors about unknown node
The exec_terminal generates a config report which is used as input ROM for sandbox/init, which does not support an "<empty>" node. An empty config node is empty, without an node. Issue #4095
This commit is contained in:
parent
373b45a0f0
commit
86e09b60c4
@ -87,9 +87,7 @@ void Exec_terminal::Main::_handle_config()
|
||||
|
||||
_init_config_reporter.generate([&] (Xml_generator &xml) {
|
||||
|
||||
if (config.has_attribute("exit"))
|
||||
xml.node("empty");
|
||||
else
|
||||
if (!config.has_attribute("exit"))
|
||||
_gen_init_config(xml, config);
|
||||
});
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user