From 4d13583d6eddc2a38d8828127e2c9af8028e2297 Mon Sep 17 00:00:00 2001 From: Lilleman auf Larv Date: Fri, 4 Sep 2026 11:13:42 +0200 Subject: [PATCH] 5d: re-raise the interrupt so a signalled gate does not exit 0 --- docker-runner.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/docker-runner.sh b/docker-runner.sh index 0b2ccc6..504109f 100644 --- a/docker-runner.sh +++ b/docker-runner.sh @@ -14,7 +14,9 @@ with_firefox() { local container in_image_network status=0 container=$(docker run -d --rm "$firefox_image") # The id is baked in: the trap fires after this function's locals are gone. - trap "docker rm -f $container >/dev/null 2>&1" EXIT INT TERM + trap "docker rm -f $container >/dev/null 2>&1" EXIT + trap 'exit 130' INT + trap 'exit 143' TERM in_image_network="container:$container" "$@" || status=$? return $status