From f9cb93b1bc1335b8d3b32b1f2351e04119fb97d9 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Tue, 13 Nov 2018 01:05:09 +0100 Subject: [PATCH] vmmd_log: output number of entries read from disk --- app/vmmd_log.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/app/vmmd_log.ml b/app/vmmd_log.ml index dfd5eac..68aa626 100644 --- a/app/vmmd_log.ml +++ b/app/vmmd_log.ml @@ -162,6 +162,7 @@ let jump _ file sock = Lwt_unix.listen s 1 ; let ring = Vmm_ring.create `Startup () in read_from_file file >>= fun entries -> + Logs.app (fun m -> m "read %d entries from disk" (List.length entries)) ; List.iter (Vmm_ring.write ring) entries ; let mvar, writer = write_to_file file in let start = Ptime_clock.now (), `Startup in