From 7ff2927edbfcdbb97a7ffe03f944ca5430d8d13e Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Wed, 22 Mar 2017 14:01:20 +0100
Subject: [PATCH] rump: sync every 2s not every 10s

fixes issue #2345
---
 repos/dde_rump/src/server/rump_fs/main.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/dde_rump/src/server/rump_fs/main.cc b/repos/dde_rump/src/server/rump_fs/main.cc
index 67340fe7a..577c4600d 100644
--- a/repos/dde_rump/src/server/rump_fs/main.cc
+++ b/repos/dde_rump/src/server/rump_fs/main.cc
@@ -516,7 +516,7 @@ struct File_system::Main
 		env.parent().resource_avail_sigh(resource_handler);
 
 		_timer.sigh(sync_handler);
-		_timer.trigger_periodic(10*1000*1000);
+		_timer.trigger_periodic(2*1000*1000);
 	}
 };