From 9fd2ab1aaf39aed8abac299c74046f5aaf7c57da Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 8 May 2018 22:46:40 +0200
Subject: [PATCH] depot_download: forward fetchurl progress reports

This patch enables the observation of the download progress from the
outside of the depot-download subsystem.
---
 .../recipes/raw/depot_download/depot_download.config |  1 +
 .../src/app/depot_download_manager/gen_fetchurl.cc   | 12 +++++++-----
 2 files changed, 8 insertions(+), 5 deletions(-)

diff --git a/repos/gems/recipes/raw/depot_download/depot_download.config b/repos/gems/recipes/raw/depot_download/depot_download.config
index c71065582..0d01fd5e5 100644
--- a/repos/gems/recipes/raw/depot_download/depot_download.config
+++ b/repos/gems/recipes/raw/depot_download/depot_download.config
@@ -95,6 +95,7 @@
 		<binary name="init"/>
 		<route>
 			<service name="ROM" label="config"> <child name="report_rom"/> </service>
+			<service name="Report" label="fetchurl -> progress"> <parent/> </service>
 			<service name="Report"> <child name="report_rom"/> </service>
 			<service name="File_system" label="depot">     <child name="depot_ro"/>  </service>
 			<service name="File_system" label="depot_rw">  <parent label="depot"/>   </service>
diff --git a/repos/gems/src/app/depot_download_manager/gen_fetchurl.cc b/repos/gems/src/app/depot_download_manager/gen_fetchurl.cc
index 15b0a67cd..9ecc38b4e 100644
--- a/repos/gems/src/app/depot_download_manager/gen_fetchurl.cc
+++ b/repos/gems/src/app/depot_download_manager/gen_fetchurl.cc
@@ -29,6 +29,7 @@ void Depot_download_manager::gen_fetchurl_start_content(Xml_generator &xml,
 			xml.attribute("rtc",    "/dev/rtc");
 			xml.attribute("socket", "/socket");
 		});
+		xml.node("report", [&] () { xml.attribute("progress", "yes"); });
 		xml.node("vfs", [&] () {
 			xml.node("dir", [&] () {
 				xml.attribute("name", "download");
@@ -99,10 +100,11 @@ void Depot_download_manager::gen_fetchurl_start_content(Xml_generator &xml,
 		gen_parent_rom_route(xml, "vfs.lib.so");
 		gen_parent_rom_route(xml, "zlib.lib.so");
 		gen_parent_rom_route(xml, "pthread.lib.so");
-		gen_parent_route<Cpu_session>   (xml);
-		gen_parent_route<Pd_session>    (xml);
-		gen_parent_route<Log_session>   (xml);
-		gen_parent_route<Timer::Session>(xml);
-		gen_parent_route<Nic::Session>  (xml);
+		gen_parent_route<Cpu_session>    (xml);
+		gen_parent_route<Pd_session>     (xml);
+		gen_parent_route<Log_session>    (xml);
+		gen_parent_route<Timer::Session> (xml);
+		gen_parent_route<Nic::Session>   (xml);
+		gen_parent_route<Report::Session>(xml);
 	});
 }