[taler-exchange] branch master updated: ERR trap

[gnunet]

This is an automated email from the git hooks/post-receive script.

grothoff pushed a commit to branch master
in repository exchange.

The following commit(s) were added to refs/heads/master by this push:
     new 8d5a0a40 ERR trap
8d5a0a40 is described below

commit 8d5a0a40619e8f4e30e5c9d714d2e94b38f39c36
Author: Christian Grothoff <address@hidden>
AuthorDate: Fri Mar 27 18:23:53 2020 +0100

    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 28782461..fa693b56 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 8bc31fab..ba2d1523 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() {

-- 
To stop receiving notification emails like this one, please contact
address@hidden.