reynir
/
albatross
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

vmm_stats: unify with other tools to 10s interval by default

This commit is contained in:
Hannes Mehnert 2018-05-01 00:14:33 +02:00
parent 43b152fa6c
commit 3cec5dd35d
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
stats/vmm_stats_lwt.ml
View File

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