From fc63a89429906044e7ab5f394a9402fcf946a699 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Sun, 20 Jan 2019 20:37:30 +0100
Subject: [PATCH] Vmm_unix: use Sys.sigterm (and rely on
 caml_convert_signal_number to be cross-platform)

---
 src/vmm_unix.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/vmm_unix.ml b/src/vmm_unix.ml
index 8ccc02d..4656450 100644
--- a/src/vmm_unix.ml
+++ b/src/vmm_unix.ml
@@ -185,7 +185,7 @@ let exec name config taps block =
     close_no_err stdout;
     R.error_msgf "cmd %a exits: %a" Bos.Cmd.pp cmd pp_unix_error e
 
-let destroy vm = Unix.kill vm.Unikernel.pid 15 (* 15 is SIGTERM *)
+let destroy vm = Unix.kill vm.Unikernel.pid Sys.sigterm
 
 let bytes_of_mb size =
   let res = size lsl 20 in