## ## DO NOT EDIT THIS FILE. ## ## To update the properties of this file, create a separate properties file ## named "local.runtime.properties" in your project's base dir with the ## properties to overwrite. ## ## ## Server Type ## app.server.type=tomcat # Tomcat version 5.5 not yet supported! #app.server.version=5.5.27 app.server.version=6.0.18 app.server.vendor=apache ## ## Server Directory ## app.server.bundles.name=${app.server.vendor}-${app.server.type}-${app.server.version} app.server.bundles.zip=${tools.bundles.dir}/${app.server.bundles.name}.zip app.server.parent.dir=${project.dir}/runtime deploy.dir=${app.server.parent.dir}/${app.server.bundles.name} webapp.dist.dir=${deploy.dir}/webapps ## deprecated, will not be used webapp.conf.dir=${deploy.dir}/conf ## nolonger needed, handled by Mastertool ## webapp.registry.dir=${webapp.conf.dir}/registry