From 8d5a0a40619e8f4e30e5c9d714d2e94b38f39c36 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Fri, 27 Mar 2020 18:23:53 +0100
Subject: ERR trap

---
 src/auditor/generate-auditor-basedb.sh | 2 ++
 src/auditor/generate-revoke-basedb.sh  | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/auditor/generate-auditor-basedb.sh b/src/auditor/generate-auditor-basedb.sh
index 28782461f..fa693b561 100755
--- a/src/auditor/generate-auditor-basedb.sh
+++ b/src/auditor/generate-auditor-basedb.sh
@@ -15,6 +15,8 @@
 #
 set -eu
 
+trap "kill `jobs -p` &> /dev/null || true" ERR
+
 # Exit, with status code "skip" (no 'real' failure)
 function exit_skip() {
     echo $1
diff --git a/src/auditor/generate-revoke-basedb.sh b/src/auditor/generate-revoke-basedb.sh
index 8bc31fab3..ba2d15235 100755
--- a/src/auditor/generate-revoke-basedb.sh
+++ b/src/auditor/generate-revoke-basedb.sh
@@ -8,7 +8,7 @@
 set -eu
 
 
-trap "kill `jobs -p` &> /dev/null || true" EXIT
+trap "kill `jobs -p` &> /dev/null || true" ERR
 
 # Exit, with status code "skip" (no 'real' failure)
 function exit_skip() {
-- 
cgit v1.2.3