ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-20 17:52:52 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

depot_download: forward fetchurl progress reports

Browse Source 
This patch enables the observation of the download progress from the
outside of the depot-download subsystem.
This commit is contained in:
Norman Feske 2018-05-08 22:46:40 +02:00 committed by Christian Helmuth
parent e314edb736
commit 9fd2ab1aaf
2 changed files with 8 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
repos/gems/recipes/raw/depot_download/depot_download.config
View File

@ -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>

12
repos/gems/src/app/depot_download_manager/gen_fetchurl.cc
View File

@ -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);
});
}