From 1d3cf484c4bc08547d69e95bf97cf0fb5fe5bc01 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Thu, 26 Oct 2017 22:21:15 +0200
Subject: [PATCH] use SIGTERM, not SIGKILL - now solo5 ukvm has the ability to
 execute atexit functions

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

diff --git a/src/vmm_commands.ml b/src/vmm_commands.ml
index 328c392..dbf3ffa 100644
--- a/src/vmm_commands.ml
+++ b/src/vmm_commands.ml
@@ -191,4 +191,4 @@ let exec dir vm fifo vmimage taps =
     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.pid 9
+let destroy vm = Unix.kill vm.pid 15 (* 15 is SIGTERM *)