run_qemu.sh: replace storing the pid and kill it a trap by using 'setpriv --pdeathsig TERM'

This commit is contained in:
Johannes Schauer Marin Rodrigues 2024-01-08 22:25:07 +01:00
parent 87edb1c2d1
commit 136cbdf0f1
Signed by untrusted user: josch
GPG key ID: F2CBA5C78FBD83E1

View file

@ -10,9 +10,6 @@ cleanup() {
rv=$? rv=$?
rm -f "$tmpdir/log" rm -f "$tmpdir/log"
[ -e "$tmpdir" ] && rmdir "$tmpdir" [ -e "$tmpdir" ] && rmdir "$tmpdir"
if [ -n "${TAIL_PID:-}" ]; then
kill "$TAIL_PID"
fi
if [ -e shared/output.txt ]; then if [ -e shared/output.txt ]; then
res="$(cat shared/exitstatus.txt)" res="$(cat shared/exitstatus.txt)"
if [ "$res" != "0" ]; then if [ "$res" != "0" ]; then
@ -30,8 +27,7 @@ if [ -e shared/output.txt ]; then
rm shared/output.txt rm shared/output.txt
fi fi
touch shared/output.txt touch shared/output.txt
tail -f shared/output.txt & setpriv --pdeathsig TERM tail -f shared/output.txt &
TAIL_PID=$!
# to connect to serial use: # to connect to serial use:
# minicom -D 'unix#/tmp/ttyS0' # minicom -D 'unix#/tmp/ttyS0'