From 45d040d8c678fe8215f5a8729660240678a46eb5 Mon Sep 17 00:00:00 2001
From: Goffi <goffi@goffi.org>
Date: Mon, 2 Nov 2015 22:02:41 +0100
Subject: [PATCH] =?UTF-8?q?launching=20script:=20use=20SIGTERM=20instead?=
 =?UTF-8?q?=20of=20SIGINT=20with=20the=20=E2=80=9Cstop=E2=80=9D=20command?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/sat.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/sat.sh b/src/sat.sh
index 36fc722d..4f9a866d 100755
--- a/src/sat.sh
+++ b/src/sat.sh
@@ -10,7 +10,7 @@ kill_process() {
         PID=`cat $1`
         if ps -p $PID > /dev/null; then
             echo "Terminating $2... "
-            kill -INT $PID
+            kill $PID
         else
             echo "No running process of ID $PID... removing PID file"
             rm -f $1