From 34772ed37d3af97e8a748a9c2faa4360f55efc21 Mon Sep 17 00:00:00 2001 From: derwinlu Date: Wed, 16 May 2018 12:03:35 +0200 Subject: [PATCH] fixup: add missing param --- scripts/jenkins/Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 \