From ed82bb9aec3152c66a9854ff4fedb164e0168a5c Mon Sep 17 00:00:00 2001
From: Henrik Hautakoski <henrik@eossweden.org>
Date: Wed, 2 Feb 2022 15:08:33 +0100
Subject: [PATCH] scripts/stop.sh: pass "-s INT" to kill.

---
 scripts/stop.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/stop.sh b/scripts/stop.sh
index d052bd7..a916126 100644
--- a/scripts/stop.sh
+++ b/scripts/stop.sh
@@ -5,7 +5,7 @@ PIDFILE="$(pwd)/eosio-ship-trace-reader.pid"
 if [ -f "$PIDFILE" ]; then
     pid=$(cat "$PIDFILE")
     echo $pid
-    kill $pid
+    kill -s INT $pid
     rm -r "$PIDFILE"
     echo -ne "Stopping process"
     while true; do