From 9d063ea35e1f2de0e065a838b98e8b31640d3367 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Sat, 28 Apr 2012 20:41:19 +0100 Subject: [PATCH] arm: Slow hardware causes server not to shut down in a timely manner. --- daemon/daemon.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/daemon/daemon.ml b/daemon/daemon.ml index bbaab13..078aa3a 100644 --- a/daemon/daemon.ml +++ b/daemon/daemon.ml @@ -145,6 +145,7 @@ and proc_exit_daemon () = | Some s -> Rpc_server.stop_server ~graceful:true s; server := None; + Gc.compact (); (* force the server handle to get cleaned up now *) `ok and proc_get_jobs () = -- 1.8.3.1