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

---
 lib/spawn.ml   | 2 +-
 stm/spawned.ml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/spawn.ml b/lib/spawn.ml
index 5d5c137c4a..802867e127 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 21902f71da..e2d07ef5ba 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