Add --init to docker run options to avoid zombies.

oscar-system · Jun 7, 2020 · f5e376c · f5e376c
1 parent 39f600e
commit f5e376c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -56,7 +56,7 @@ node {
     // Docker image to use as build/test environment
     def buildenv = env.OSCAR_CI_IMAGE ?: env.OSCAR_CI_NAME ?: "oscar-ci"
     def run_in_docker = { block ->
-      docker.image(buildenv).inside("-v ${jenkins_home}:/var/jenkins_home") {
+      docker.image(buildenv).inside("--init -v ${jenkins_home}:/var/jenkins_home") {
 	block()
       }
     }