From: Richard W.M. Jones <rjones@redhat.com>
Date: Sat, 28 Apr 2012 19:41:19 +0000 (+0100)
Subject: arm: Slow hardware causes server not to shut down in a timely manner.
X-Git-Tag: 0.7.3~2
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=9d063ea35e1f2de0e065a838b98e8b31640d3367;p=whenjobs.git

arm: Slow hardware causes server not to shut down in a timely manner.
---

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 () =