diff --git a/Jenkinsfile b/Jenkinsfile index 7e94eb4..ef5276d 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -21,7 +21,7 @@ pipeline { echo "Tomcat is not running, skipping shutdown..." ) else ( echo "Tomcat is running, shutting down..." - net stop Tomcat10 + net stop localtomcat ping -n 5 127.0.0.1 > nul ) @@ -34,7 +34,7 @@ pipeline { ping -n 5 127.0.0.1 > nul echo "start" - net start Tomcat10 + net start localtomcat ping -n 15 127.0.0.1 > nul ''' }