diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-03-27 18:23:53 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-03-27 18:23:53 +0100 |
| commit | 8d5a0a40619e8f4e30e5c9d714d2e94b38f39c36 (patch) | |
| tree | 78074f9baa06d9f6f75c27d0e6218f52a70a60ca /src/auditor/generate-auditor-basedb.sh | |
| parent | b46dc6b9817ea52a369456fff15069d1547686d7 (diff) | |
| download | exchange-8d5a0a40619e8f4e30e5c9d714d2e94b38f39c36.tar.gz exchange-8d5a0a40619e8f4e30e5c9d714d2e94b38f39c36.tar.bz2 exchange-8d5a0a40619e8f4e30e5c9d714d2e94b38f39c36.zip | |
ERR trap
Diffstat (limited to 'src/auditor/generate-auditor-basedb.sh')
| -rwxr-xr-x | src/auditor/generate-auditor-basedb.sh | 2 |
1 files changed, 2 insertions, 0 deletions
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 |