From 6677e3f1cb42b7c05bce092a90da3373687a3940 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Sun, 28 Oct 2018 20:49:42 +0100
Subject: [PATCH] close on exit for vmmd.sock

---
 app/vmmd.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/app/vmmd.ml b/app/vmmd.ml
index 300d209..74597f8 100644
--- a/app/vmmd.ml
+++ b/app/vmmd.ml
@@ -142,6 +142,7 @@ let server_socket sock =
     | true -> Lwt_unix.unlink name
     | false -> Lwt.return_unit) >>= fun () ->
   let s = Lwt_unix.(socket PF_UNIX SOCK_STREAM 0) in
+  Lwt_unix.set_close_on_exec s ;
   Lwt_unix.(bind s (ADDR_UNIX name)) >|= fun () ->
   Lwt_unix.listen s 1 ;
   s