remove unneeded logs: be silent if the GC is enough

This commit is contained in:
palainp 2022-10-09 12:38:44 +02:00 committed by Hannes Mehnert
parent eb4d0fc371
commit 06b9a88331

View File

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