Unverified Commit 99e86861 authored Jun 02, 2026 by copilot-swe-agent[bot] Committed by GitHub Jun 02, 2026

Suppress "Killed" message by redirecting shell stderr around wait

parent 076db5a6

src/entry.sh

+4 −6

Original line number	Diff line number	Diff line
		@@ -38,13 +38,11 @@ else
		fi

		pid=$!
		disown "$pid"

		while isAlive "$pid"; do
		sleep 1 & wait $!
		done

		wait "$pid" 2>/dev/null && rc=0 \|\| rc=$?
		rc=0
		exec 3>&2 2>/dev/null
		wait "$pid" \|\| rc=$?
		exec 2>&3 3>&-
		[ -f "$QEMU_END" ] && exit "$rc"

		sleep 1 & wait $!