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" }