New improved safeguard to kill -9 VICE if it doesn't terminate after 20 seconds

This commit is contained in:
Philip Zembrod 2020-08-29 20:47:30 +02:00
parent 015bf4dba0
commit 3c6da1cc82

View File

@ -50,7 +50,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 $?"