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

depot_download: limit rate of update-state reports

Browse Source 
The default rate of 100 ms keeps Sculpt too busy because the menu that
displays the percentage values is drawn completely on each update.
Limiting the rate to 1/4 seconds relieves the effect.
This commit is contained in:
Norman Feske
2019-03-08 15:38:03 +01:00
committed by Christian Helmuth
parent 1ead0ea3a7
commit 1f3f7282f3
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -29,7 +29,10 @@ 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("report", [&] () {
xml.attribute("progress", "yes");
xml.attribute("delay_ms", 250);
});
xml.node("vfs", [&] () {
xml.node("dir", [&] () {
xml.attribute("name", "download");