denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

ports: use expanding reporter in verify app

Browse Source 
Deploying an overly large meta-pkg in Sculpt leads to an
'Xml_generator::Buffer_exceeded' exception. Using the expanding
reporter solves this problem.

Fixes #4493.
This commit is contained in:
Josef Söntgen
2022-04-05 14:19:27 +02:00
committed by Christian Helmuth
parent 74b5a4ae7a
commit 27444617e1
1 changed files with 3 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
repos/ports/src/app/verify/main.cc
View File

@@ -33,7 +33,7 @@ struct Verify::Main
bool _verbose = false; bool _verbose = false;
Constructible<Reporter> _reporter { }; Constructible<Expanding_reporter> _reporter { };
typedef String<256> Path; typedef String<256> Path;
typedef String<64> Message; typedef String<64> Message;
@@ -91,11 +91,10 @@ void Verify::Main::_handle_config_with_libc()
_verbose = _config.xml().attribute_value("verbose", false); _verbose = _config.xml().attribute_value("verbose", false);
if (!_reporter.constructed()) { if (!_reporter.constructed()) {
_reporter.construct(_env, "result"); _reporter.construct(_env, "result", "result");
_reporter->enabled(true);
} }
Reporter::Xml_generator xml(*_reporter, [&] () { _reporter->generate([&] (Xml_generator &xml) {
config.for_each_sub_node("verify", [&] (Xml_node node) { config.for_each_sub_node("verify", [&] (Xml_node node) {
_process_verify_node(node, xml); }); }); _process_verify_node(node, xml); }); });
} }