From 7adae82a3720e5d03a26a3aced9d0bb9ca6a7709 Mon Sep 17 00:00:00 2001
From: Kroese <kroese@users.noreply.github.com>
Date: Sat, 29 Apr 2023 02:07:17 +0200
Subject: [PATCH] PID

---
 run/run.sh | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/run/run.sh b/run/run.sh
index fadedfb..8f5d346 100755
--- a/run/run.sh
+++ b/run/run.sh
@@ -80,10 +80,8 @@ set -m
 )
 set +m
 
-PID="$(cat "${_QEMU_PID}")"
-
 if (( KERNEL > 4 )); then
-  pidwait "$PID" & wait $!
+  pidwait -F "${_QEMU_PID}" & wait $!
 else
-  tail --pid "$PID" --follow /dev/null & wait $!
+  tail --pid "$(cat "${_QEMU_PID}")" --follow /dev/null & wait $!
 fi