From f5a0e2136dacf635c2790099972961b086665a38 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 11 Dec 2014 14:28:08 +0100 Subject: Spawn: fix request of Gc statistics --- stm/spawned.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'stm/spawned.ml') diff --git a/stm/spawned.ml b/stm/spawned.ml index 21902f71d..e2d07ef5b 100644 --- a/stm/spawned.ml +++ b/stm/spawned.ml @@ -44,7 +44,7 @@ let controller h p = | Hello _ -> prerr_endline "internal protocol error"; exit 1 | ReqDie -> prerr_endline "death sentence received"; exit 0 | ReqStats -> - output_value oc (RespStats (Gc.stat ())); flush oc; loop () + output_value oc (RespStats (Gc.quick_stat ())); flush oc; loop () with | e -> prerr_endline ("control channel broken: " ^ Printexc.to_string e); -- cgit v1.2.3