Sebastian Sumpf
300cdc435d
expanding_report: make expandable for XML node generation ...
'generate(Xml_node node)', as used by the Sculpt manager, calls this
function instead of the lambda version. The 'report' function of the
'Genode::Reporter' does not throw an exception in case there is not
enough backing storage for the 'generate' request. Therefore, we have to
check this condition in a loop and call '_increase_report_buffer' in
case size limits are reached.
Patch by Norman Feske.
issue #4369
2022-02-15 16:13:53 +01:00
2022-01-19 12:38:12 +01:00
2022-01-19 12:38:12 +01:00
2021-12-17 15:04:45 +01:00
2022-02-15 10:23:58 +01:00
2021-12-17 15:04:45 +01:00
2020-07-13 11:33:13 +02:00
2021-12-17 15:04:45 +01:00
2020-08-25 11:49:43 +02:00
2022-02-15 10:11:10 +01:00
2022-02-15 10:23:58 +01:00
2020-06-29 14:22:29 +02:00
2021-12-17 15:04:45 +01:00
2021-12-17 15:04:45 +01:00
2019-02-26 14:44:15 +01:00
2021-11-29 15:11:52 +01:00
2022-02-15 10:10:01 +01:00
2020-06-29 14:22:29 +02:00
2021-12-17 15:04:45 +01:00
2017-03-24 16:19:56 +01:00
2022-02-15 10:17:28 +01:00
2019-02-26 14:44:15 +01:00
2017-02-28 12:59:29 +01:00
2022-02-15 10:17:28 +01:00
2020-06-22 09:39:40 +02:00
2019-01-30 13:49:54 +01:00
2021-12-17 15:04:45 +01:00
2022-01-19 12:35:48 +01:00
2019-02-26 14:44:15 +01:00
2022-02-15 10:23:58 +01:00
2022-02-15 16:13:53 +01:00
2022-02-15 10:10:03 +01:00
2022-02-15 10:10:03 +01:00
2021-11-29 15:10:52 +01:00
2021-11-29 15:10:52 +01:00
2022-02-15 10:17:28 +01:00
2019-01-07 12:25:45 +01:00
2021-12-17 15:04:45 +01:00
2021-10-13 14:46:54 +02:00
2019-02-26 14:44:15 +01:00
2019-08-21 12:37:01 +02:00
2021-06-25 11:41:45 +02:00
2021-12-17 15:04:45 +01:00
2022-01-19 12:38:12 +01:00
2021-12-17 15:04:45 +01:00
2020-04-17 12:40:12 +02:00
2022-02-15 10:20:59 +01:00
2021-12-17 15:04:45 +01:00
2021-01-25 13:48:09 +01:00
2021-12-17 15:04:45 +01:00
2021-06-25 11:41:44 +02:00
2021-12-17 15:04:45 +01:00
2022-02-15 10:23:58 +01:00
2022-02-15 10:17:28 +01:00
300cdc435d