vmmd_log: output number of entries read from disk

This commit is contained in:
Hannes Mehnert 2018-11-13 01:05:09 +01:00
parent c8f1030403
commit f9cb93b1bc

View file

@ -162,6 +162,7 @@ let jump _ file sock =
Lwt_unix.listen s 1 ; Lwt_unix.listen s 1 ;
let ring = Vmm_ring.create `Startup () in let ring = Vmm_ring.create `Startup () in
read_from_file file >>= fun entries -> 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 ; List.iter (Vmm_ring.write ring) entries ;
let mvar, writer = write_to_file file in let mvar, writer = write_to_file file in
let start = Ptime_clock.now (), `Startup in let start = Ptime_clock.now (), `Startup in