From 86e09b60c49f8cf7996e11bba8896a73b7b51551 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Tue, 27 Apr 2021 14:30:38 +0200 Subject: [PATCH] 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 "" node. An empty config node is empty, without an node. Issue #4095 --- repos/gems/src/test/exec_terminal/main.cc | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/repos/gems/src/test/exec_terminal/main.cc b/repos/gems/src/test/exec_terminal/main.cc index b3753d2dcf..93e0358155 100644 --- a/repos/gems/src/test/exec_terminal/main.cc +++ b/repos/gems/src/test/exec_terminal/main.cc @@ -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); }); }