diff options
-rw-r--r-- | jetty-deploy/src/main/config/etc/jetty-deploy.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/jetty-deploy/src/main/config/etc/jetty-deploy.xml b/jetty-deploy/src/main/config/etc/jetty-deploy.xml index 40e456296b..6dfc7e509a 100644 --- a/jetty-deploy/src/main/config/etc/jetty-deploy.xml +++ b/jetty-deploy/src/main/config/etc/jetty-deploy.xml @@ -41,8 +41,8 @@ <New class="org.eclipse.jetty.deploy.providers.WebAppProvider"> <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> + <Set name="scanInterval"><Property name="jetty.deploy.scanInterval" default="1"/></Set> + <Set name="extractWars"><Property name="jetty.deploy.extractWars" default="true"/></Set> <Set name="configurationManager"> <New class="org.eclipse.jetty.deploy.PropertiesConfigurationManager"> <!-- file of context configuration properties |