diff options
| author | Joakim Erdfelt | 2014-03-21 17:52:25 +0000 |
|---|---|---|
| committer | Joakim Erdfelt | 2014-03-21 18:54:41 +0000 |
| commit | e1540be4cfd902d2643aa867e6f7bbcb128b968c (patch) | |
| tree | d8523944daa3071f0e3590d73bf4c74fb1491b63 /jetty-deploy/src/main | |
| parent | 138dfba56067a99d64ced232222756c329e1324b (diff) | |
| download | org.eclipse.jetty.project-e1540be4cfd902d2643aa867e6f7bbcb128b968c.tar.gz org.eclipse.jetty.project-e1540be4cfd902d2643aa867e6f7bbcb128b968c.tar.xz org.eclipse.jetty.project-e1540be4cfd902d2643aa867e6f7bbcb128b968c.zip | |
428817 - jetty-start / Allow for property to configure deploy manager `webapps` directory
+ Adding 'jetty.deploy.monitoredDirName' property
Diffstat (limited to 'jetty-deploy/src/main')
| -rw-r--r-- | jetty-deploy/src/main/config/etc/jetty-deploy.xml | 2 | ||||
| -rw-r--r-- | jetty-deploy/src/main/config/modules/deploy.mod | 6 |
2 files changed, 7 insertions, 1 deletions
diff --git a/jetty-deploy/src/main/config/etc/jetty-deploy.xml b/jetty-deploy/src/main/config/etc/jetty-deploy.xml index b388436430..40e456296b 100644 --- a/jetty-deploy/src/main/config/etc/jetty-deploy.xml +++ b/jetty-deploy/src/main/config/etc/jetty-deploy.xml @@ -39,7 +39,7 @@ <Call id="webappprovider" name="addAppProvider"> <Arg> <New class="org.eclipse.jetty.deploy.providers.WebAppProvider"> - <Set name="monitoredDirName"><Property name="jetty.base" default="." />/webapps</Set> + <Set name="monitoredDirName"><Property name="jetty.base" default="." />/<Property name="jetty.deploy.monitoredDirName" default="webapps"/></Set> <Set name="defaultsDescriptor"><Property name="jetty.home" default="." />/etc/webdefault.xml</Set> <Set name="scanInterval">1</Set> <Set name="extractWars">true</Set> diff --git a/jetty-deploy/src/main/config/modules/deploy.mod b/jetty-deploy/src/main/config/modules/deploy.mod index 8cb36977c1..f16b3f2fff 100644 --- a/jetty-deploy/src/main/config/modules/deploy.mod +++ b/jetty-deploy/src/main/config/modules/deploy.mod @@ -13,3 +13,9 @@ webapps/ [xml] etc/jetty-deploy.xml + +[ini-template] +## DeployManager configuration +# Monitored Directory name (relative to jetty.base) +# jetty.deploy.monitoredDirName=webapps + |