ehmry/genode
ehmry/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

server/rom_filter: generate top-level attributes

Browse Source 
Conditionally inject attributes on the output XML node with
``<attribute name="..." value="..."``

Fix #2348
This commit is contained in:
Emery Hemingway 2017-03-23 12:10:00 -05:00 committed by Christian Helmuth
parent 05655a9d88
commit 0d488925ee
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
repos/os/src/server/rom_filter/main.cc
View File

@ -279,7 +279,14 @@ void Rom_filter::Main::_evaluate_node(Xml_node node, Xml_generator &xml)
if (node.has_sub_node("else"))
_evaluate_node(node.sub_node("else"), xml);
}
}
} else
if (node.has_type("attribute")) {
typedef Genode::String<128> String;
xml.attribute(
node.attribute_value("name", String()).string(),
node.attribute_value("value", String()).string());
} else
if (node.has_type("inline")) {
char const *src = node.content_base();