fix #6483: ensure cleanup of processes on exit

1 files changed, 9 insertions, 1 deletions

diff --git a/src/auditor/test-revocation.sh b/src/auditor/test-revocation.sh
index 1b5070a3b..ac1f4dcc8 100755
--- a/src/auditor/test-revocation.sh
+++ b/src/auditor/test-revocation.sh
@@ -36,11 +36,19 @@ function exit_skip() {
 # Exit, with error message (hard failure)
 function exit_fail() {
     echo $1
+    exit 1
+}
+
+# Cleanup to run whenever we exit
+function cleanup()
+{
     kill `jobs -p` >/dev/null 2>/dev/null || true
     wait
-    exit 1
 }
 
+# Install cleanup handler (except for kill -9)
+trap cleanup EXIT
+
 
 # Operations to run before the actual audit
 function pre_audit () {