From 7010aae0a905457cb026b20a19e049104f4b45f7 Mon Sep 17 00:00:00 2001
From: Justin Newberry <justin@comma.ai>
Date: Mon, 12 Feb 2024 18:41:04 -0500
Subject: [PATCH] jenkins: kill subprocesses on exit (#31422)

* kill-on-exit

* kill all
---
 Jenkinsfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 991c940ad6..76630393e6 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -16,6 +16,8 @@ ssh -tt -o ConnectTimeout=30 -o ServerAliveInterval=30 -o ServerAliveCountMax=3
 
 set -e
 
+shopt -s huponexit # kill all child processes when the shell exits
+
 export CI=1
 export PYTHONWARNINGS=error
 export LOGPRINT=debug