mcroteau opened a new pull request #410: URL: https://github.com/apache/tomcat/pull/410
.war extensions I believe may turn some people off so I refactored much of the deployment routines to accept additional extensions. Much of the heavy lifting is finished but needs additional testing. Thank you for all that you provide, I have been using Tomcat for 12 years now. I am truly grateful. Please let me know if you would like me to proceed. There is a small issue with the Manager app that I needs to be addressed. The ManagerServlet keeps the original extension and adds .war. Thank you. Mike ---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: us...@infra.apache.org --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
