diff --git a/Jenkinsfile b/Jenkinsfile index ef5276d..e306a63 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -35,7 +35,7 @@ pipeline { echo "start" net start localtomcat - ping -n 15 127.0.0.1 > nul + ping -n 8 127.0.0.1 > nul ''' } }