From d4599df5f81ab42e25fc863880dfa5b56a5535c8 Mon Sep 17 00:00:00 2001 From: Kroese Date: Mon, 17 Apr 2023 11:39:12 +0200 Subject: [PATCH] Check for zombie process --- run/run.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run/run.sh b/run/run.sh index 72194c1..2b7080d 100755 --- a/run/run.sh +++ b/run/run.sh @@ -53,6 +53,6 @@ set -m set +m # Since we started the QEMU process with -m, we need to poll if it's still running -while [ -d "/proc/$(cat ${_QEMU_PID})" ]; do +while s=`ps -p "$(cat ${_QEMU_PID})" -o s=` && [[ "$s" && "$s" != 'Z' ]]; do sleep 1 done