Github user markt-asf commented on the issue:

    https://github.com/apache/tomcat/pull/127
  
    Nice idea. I've applied a variation of this patch to Tomcat. The key 
changes were:
    - Only ignore source on Context elements
    - Ignore source on Context elements in server.xml and context.xml files


---

---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org
For additional commands, e-mail: dev-h...@tomcat.apache.org

Reply via email to