diff options
Diffstat (limited to 'jetty-deploy/src/main/config/modules/deploy.mod')
| -rw-r--r-- | jetty-deploy/src/main/config/modules/deploy.mod | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/jetty-deploy/src/main/config/modules/deploy.mod b/jetty-deploy/src/main/config/modules/deploy.mod index f16b3f2fff..3a2fc916d0 100644 --- a/jetty-deploy/src/main/config/modules/deploy.mod +++ b/jetty-deploy/src/main/config/modules/deploy.mod @@ -15,7 +15,11 @@ webapps/ etc/jetty-deploy.xml [ini-template] -## DeployManager configuration -# Monitored Directory name (relative to jetty.base) -# jetty.deploy.monitoredDirName=webapps +# Monitored directory name (relative to jetty.base) +# jetty.deploy.monitoredDir=webapps +# Monitored directory scan period (seconds) +# jetty.deploy.scanInterval=1 + +# Whether to extract *.war files +# jetty.deploy.extractWars=true |