From 752536c38f2487974d76e0a19212fb3c7d102fef Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Sun, 27 Jan 2019 22:33:15 +0100
Subject: [PATCH] vmm_stats_pure: info -> debug

---
 app/vmm_stats_pure.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/vmm_stats_pure.ml b/app/vmm_stats_pure.ml
index 9847c30..c90ec11 100644
--- a/app/vmm_stats_pure.ml
+++ b/app/vmm_stats_pure.ml
@@ -119,7 +119,7 @@ let tick t =
     List.fold_left (fun (out, to_remove) (vmid, pid) ->
         let listeners = Vmm_trie.collect vmid t'.name_sockets in
         match listeners with
-        | [] -> Logs.info (fun m -> m "nobody is listening") ; (out, to_remove)
+        | [] -> Logs.debug (fun m -> m "nobody is listening") ; (out, to_remove)
         | xs -> match IM.find_opt pid t.pid_nic with
           | None ->
             Logs.warn (fun m -> m "couldn't find nics of %d" pid) ;