diff --git a/scripts/jenkins/Jenkinsfile b/scripts/jenkins/Jenkinsfile index 87ddcbd6a45..ea54097dd1f 100644 --- a/scripts/jenkins/Jenkinsfile +++ b/scripts/jenkins/Jenkinsfile @@ -186,7 +186,7 @@ maybeStage("Deploy Homepage", true) { --restart=always""" ) - sh "docker stop -t ${frontend_name} || /bin/true" + sh "docker stop -t 5 ${frontend_name} || /bin/true" sh "docker rm ${frontend_name} || /bin/true" frontend.run("""\ -e VIRTUAL_HOST=www.libelektra.org \