From 3cec5dd35d0971dcc9cc3b3dbc5a89facdf0903b Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Tue, 1 May 2018 00:14:33 +0200
Subject: [PATCH] vmm_stats: unify with other tools to 10s interval by default

---
 stats/vmm_stats_lwt.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/stats/vmm_stats_lwt.ml b/stats/vmm_stats_lwt.ml
index 4eb79e1..c8a7731 100644
--- a/stats/vmm_stats_lwt.ml
+++ b/stats/vmm_stats_lwt.ml
@@ -9,7 +9,7 @@
    - remove pid
    - statistics pid
 
-   every 15 seconds, statistics of all registered pids are recorded. `statistics`
+   every 10 seconds, statistics of all registered pids are recorded. `statistics`
    reports last recorded stats *)
 
 open Lwt.Infix
@@ -89,7 +89,7 @@ let socket =
 
 let interval =
   let doc = "Interval between statistics gatherings (in seconds)" in
-  Arg.(value & opt int 15 & info [ "internval" ] ~doc)
+  Arg.(value & opt int 10 & info [ "internval" ] ~doc)
 
 let cmd =
   Term.(ret (const jump $ setup_log $ socket $ interval)),