I was looking at the documentation of Tomcat 7, to understand how the clusters work.
The documentation talks about a Deployer tag:
<Deployer className="org.apache.catalina.ha.deploy.FarmWarDeployer"
tempDir="/tmp/war-temp/"
deployDir="/tmp/war-deploy/"
watchDir="/tmp/war-listen/"
watchEnabled="false"/>
But the documentation about it is very poor: http://tomcat.apache.org/tomcat-7.0-doc/config/cluster-deployer.html
I found something in the javadocs of the class http://tomcat.apache.org/tomcat-6.0-doc/api/org/apache/catalina/ha/deploy/FarmWarDeployer.html
What I can't find is what is the attribute watchEnabled?