X-Git-Url: http://git.annexia.org/?p=whenjobs.git;a=blobdiff_plain;f=daemon%2Fdaemon.ml;h=078aa3ab129b965a1efa961ba072434d5eedca79;hp=bbaab131a1270c40ce237a6f431e7995b9f9c4b0;hb=9d063ea35e1f2de0e065a838b98e8b31640d3367;hpb=d6da1b74e241e79eb0af9c01e390e98ceead3a49

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