From 629df041d995ec78bf57e178fe405c5659e6f001 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ville=20Skytt=C3=A4?= <ville.skytta@upcloud.com>
Date: Wed, 21 Jun 2023 23:08:08 +0300
Subject: [PATCH] fix: do runner cleanups also on `SIGINT` and `SIGTERM`
 (#4133)

Behavior of the `EXIT` condition is not consistent between shells with
regards to abnormal exits and signals. This cleanup should occur always.

https://austingroupbugs.net/view.php?id=621
---
 www/docs/static/run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/www/docs/static/run b/www/docs/static/run
index 11a6ab9c8..498563899 100755
--- a/www/docs/static/run
+++ b/www/docs/static/run
@@ -22,7 +22,7 @@ test -z "$VERSION" && {
 
 TMP_DIR="$(mktemp -d)"
 # shellcheck disable=SC2064 # intentionally expands here
-trap "rm -rf \"$TMP_DIR\"" EXIT
+trap "rm -rf \"$TMP_DIR\"" EXIT INT TERM
 OS="$(uname -s)"
 ARCH="$(uname -m)"
 test "$ARCH" = "aarch64" && ARCH="arm64"