From 90e64523282abbd6e11b3dcfd7b128be29c36a6e Mon Sep 17 00:00:00 2001
From: Philip Zembrod <pzembrod@gmail.com>
Date: Tue, 1 Sep 2020 11:36:03 +0200
Subject: [PATCH] Also for peddi tests: New mechanism to kill -9 VICE if it
 fails to terminate after 20 seconds.

---
 tests/peddi/run-peddi.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/tests/peddi/run-peddi.sh b/tests/peddi/run-peddi.sh
index 265f558..2cd8eae 100755
--- a/tests/peddi/run-peddi.sh
+++ b/tests/peddi/run-peddi.sh
@@ -45,7 +45,11 @@ then
   done
   sleep 0.5
 
+  kill9log="${basedir}/kill-9.log"
+  vicepid=$(jobs -p %1)
   kill %1
+  (sleep 20; ps -q "${vicepid}" -f --no-headers && \
+      (kill -9 "${vicepid}" ; date)) >> "${kill9log}" 2>&1 &
 fi
 
 wait %1 || echo "x64 returned $?"