From 06b9a883314e974378cbe88ffb3680a4cec5b714 Mon Sep 17 00:00:00 2001 From: palainp Date: Sun, 9 Oct 2022 12:38:44 +0200 Subject: [PATCH] remove unneeded logs: be silent if the GC is enough --- memory_pressure.ml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/memory_pressure.ml b/memory_pressure.ml index b867573..629ecda 100644 --- a/memory_pressure.ml +++ b/memory_pressure.ml @@ -63,7 +63,8 @@ let status () = Gc.full_major (); Xen_os.Memory.trim (); let stats = Xen_os.Memory.quick_stat () in - report_mem_usage stats; - if fraction_free stats < 0.6 then `Memory_critical - else `Ok + if fraction_free stats < 0.6 then begin + report_mem_usage stats; + `Memory_critical + end else `Ok )