From 9b2fc15133b698c0c13b2d9fe86e07b859b34ec7 Mon Sep 17 00:00:00 2001
From: John <ebusd@ebusd.eu>
Date: Sat, 13 Nov 2021 12:39:37 +0100
Subject: [PATCH] force kill on error

---
 test_coverage.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/test_coverage.sh b/test_coverage.sh
index 0c53368c..d6c346a3 100755
--- a/test_coverage.sh
+++ b/test_coverage.sh
@@ -422,12 +422,13 @@ if [ "x$verify" != 'xaddress 04: slave #25, scanned "MF=153;ID=BBBBB;SW=3031;HW=
   exit 1
 fi
 sleep 2
-kill $pid
 echo `date` "ebusd log:"
 cat "$PWD/ebusd.log"
 echo `date` "done."
 if [[ -n "$1" ]]; then
   kill $pid
+else
+  kill -9 $pid
 fi
 wait $srvpid
 exit $failed