Configuration build.properties

Le fichier build.properties permet de définir des propriétés de l'installation (par exemple le manager du servlet)

# Context path to install this application on
app.path=/hello
# Tomcat 4 installation directory
catalina.home=/home/revim/src/jakarta-tomcat-4.1.29
# Manager webapp username and password
manager.username=user
manager.password=password
# Manager URL
manager.url=http://localhost.univ-lr.fr:8080/manager