alex/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

rump: sync every 2s not every 10s

Browse Source 
fixes issue #2345
This commit is contained in:
Sebastian Sumpf
2017-03-22 14:01:20 +01:00
committed by Christian Helmuth
parent 2cb767de2d
commit 7ff2927edb
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/dde_rump/src/server/rump_fs/main.cc
View File

@@ -516,7 +516,7 @@ struct File_system::Main
env.parent().resource_avail_sigh(resource_handler); env.parent().resource_avail_sigh(resource_handler);
_timer.sigh(sync_handler); _timer.sigh(sync_handler);
_timer.trigger_periodic(10*1000*1000); _timer.trigger_periodic(2*1000*1000);
} }
}; };