diff --git a/Jenkinsfile b/Jenkinsfile index 966e608..dc74b38 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -36,7 +36,8 @@ pipeline { echo "start" cd /d C:\\localhost-tomcat\\apache-tomcat-10.1.36-windows-x64\\apache-tomcat-10.1.36\\bin - BUILD_ID=dontKillMe call startup.bat + set BUILD_ID=dontKillMe + call startup.bat ping -n 5 127.0.0.1 > nul ''' }