From b566700bfdedd4115ff9f701aa53eb6be2f8924a Mon Sep 17 00:00:00 2001
From: Romain Vimont <rom@rom1v.com>
Date: Fri, 22 Jan 2021 19:21:35 +0100
Subject: [PATCH] Kill process with SIGKILL signal

An "adb push" command is not terminated by SIGTERM.
---
 app/src/sys/unix/process.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/src/sys/unix/process.c b/app/src/sys/unix/process.c
index dc535dcf..293b2aff 100644
--- a/app/src/sys/unix/process.c
+++ b/app/src/sys/unix/process.c
@@ -118,7 +118,7 @@ process_terminate(pid_t pid) {
              (int) pid);
         abort();
     }
-    return kill(pid, SIGTERM) != -1;
+    return kill(pid, SIGKILL) != -1;
 }
 
 exit_code_t