diff options
-rw-r--r-- | lib/spawn.ml | 2 | ||||
-rw-r--r-- | stm/spawned.ml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/lib/spawn.ml b/lib/spawn.ml index 5d5c137c4..802867e12 100644 --- a/lib/spawn.ml +++ b/lib/spawn.ml @@ -261,7 +261,7 @@ let stats { oob_req; oob_resp; alive } = assert_ alive "This process is dead"; output_value oob_req ReqStats; flush oob_req; - input_value oob_resp + let RespStats g = input_value oob_resp in g let kill_if p ~sec test = T.add_timeout ~sec (fun () -> 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); |