Also for peddi tests: New mechanism to kill -9 VICE if it fails to terminate after 20 seconds.

Author: pzembrod

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 $?"