Skip to content
Snippets Groups Projects
build.properties 550 B
# Tomcat Manager properties
# replace catalina.base with a path to your local Tomcat directory
catalina.home=${catalina.base}
startup=startup.sh
shutdown=shutdown.sh
# WIN users will rename the above extentions to "bat"
tomcat.server=localhost
tomcat.port=8080
# Since Tomcat 7, note that the URL for the text interface has changed from "/manager" to "/manager/text".
mgr=http://${tomcat.server}:${tomcat.port}/manager/text
username=tomcat
password=tomcat
proj.name=${app.name}
context=/${proj.name}

dist.war=${dist}/${app.name}.war