From 765c108d7462095e23b0012c3e435c39dc08f450 Mon Sep 17 00:00:00 2001
From: Dominik Chilla <dominik@zwackl.de>
Date: Sat, 11 Jul 2020 23:36:48 +0200
Subject: [PATCH] timeout

---
 Jenkinsfile | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 7e48119..88eb186 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -9,12 +9,14 @@ pipeline {
         script {
           def userInput
           try {
-            userInput = input(id: 'Proceed1', message: 'Was this successful?', parameters: [[
-              $class: 'BooleanParameterDefinition', 
-              defaultValue: true, 
-              description: '', 
-              name: 'Please confirm you agree with this'
-            ]])
+            timeout(time: 5, unit: 'SECONDS') {
+              userInput = input(id: 'Proceed1', message: 'Was this successful?', parameters: [[
+                $class: 'BooleanParameterDefinition', 
+                defaultValue: true, 
+                description: '', 
+                name: 'Please confirm you agree with this'
+              ]])
+            }
           } catch(err) { // input false
             echo "This Job has been Aborted"
           }