From 59a8856773ac93ffc907cc042174ca620d066ab7 Mon Sep 17 00:00:00 2001 From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com> Date: Thu, 6 Dec 2018 15:17:03 +0100 Subject: [PATCH] depot_autopilot: sanitize XML results Unequal numbers of double quotes let the XML parser of init fail, therefore replace all double quotes when transfering previous results after a reboot. Ref #3027 --- repos/gems/run/depot_autopilot.run | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/gems/run/depot_autopilot.run b/repos/gems/run/depot_autopilot.run index 5afd475011..8ebd6dce35 100644 --- a/repos/gems/run/depot_autopilot.run +++ b/repos/gems/run/depot_autopilot.run @@ -398,7 +398,7 @@ proc prepare_to_run_genode { } { <previous-results time_sec="} [expr ($previous_time_ms + 999) / 1000] {" succeeded="} $previous_succeeded {" skipped="} $previous_skipped {" - failed="} $previous_failed {">} $previous_results {</previous-results> + failed="} $previous_failed {">} [string map {\" .} $previous_results] {</previous-results> } [test_pkgs_start_nodes] {