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