From 3b0565efd52ff23b8e1d51a49f3451b56c9241c1 Mon Sep 17 00:00:00 2001
From: Dominik Chilla <dominik@zwackl.de>
Date: Mon, 17 Jun 2019 19:12:48 +0200
Subject: [PATCH] Jenkins docker.inside()

---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 2cf4e72..25855bf 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -27,6 +27,7 @@ pipeline {
           dockerImageObj.inside() {
             sh 'echo "INSIDE CONTAINER!"'
             sh '/usr/bin/python3 /app/sos-milter.py &'
+            sh 'sleep 5; if [ -f /socket/sos-milter ]; then exit 0; else exit 1; fi'
           }
         }
       }