juanferrub/liferay-portal — pull request #186 by igorspasic (2012-04-16 16:57:18+00:00)
Title: LPS-26609 add ServerHotDeployDetector for Tomcat

Server hot-deploy detector for Tomcat added. Notes:

(1) ServerHotDeployDetector can't be created together with (or inside) ServerDetector. as ServerDetector is called before app context is initialized; and we need XML parser for parsing server.xml.

(2) Therefore, I tried to mimic ServerDetector as much as possible.