diff --git a/Jenkinsfile b/Jenkinsfile index 4f270d5..1a0730a 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -46,9 +46,9 @@ pipeline { #!/bin/bash docker-compose down - docker stop linuxagent || true - docker stop linuxfs || true - docker stop archagent || true + docker stop -t 10 linuxagent || true + docker stop -t 10 linuxfs || true + docker stop -t 10 archagent || true ''' } }