Unverified Commit 635bd634 authored by Kroese's avatar Kroese Committed by GitHub
Browse files

Prevent polling

parent 38e8b061

run/run.sh

+2 −2
Original line number Diff line number Diff line
@@ -57,7 +57,7 @@ set -m 
)

set +m



# Since we have to start the process with -m, we need to poll every intervall if it's still running

while [ -d "/proc/$(cat ${_QEMU_PID})"  ]; do

  sleep 1

  sleep infinity &

  wait $!

done