[GitHub] [myfaces] 38leinaD opened a new pull request #114: If web.xml defines a faces servlet, take it from there

[GitBox <gi...@apache.org>]

38leinaD opened a new pull request #114:
URL: https://github.com/apache/myfaces/pull/114


   To define additional url mappings for example, it should be possible to define the faces servlet via the web.xml.
   If it exists in web.xml, it is used for here. If not, a default faces servlet config is created from the extension.


----------------------------------------------------------------
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:
users@infra.apache.org

[GitHub] [myfaces] tandraschko merged pull request #114: If web.xml defines a faces servlet, take it from there

[GitBox <gi...@apache.org>]

tandraschko merged pull request #114:
URL: https://github.com/apache/myfaces/pull/114


   


----------------------------------------------------------------
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:
users@infra.apache.org

[GitHub] [myfaces] tandraschko commented on pull request #114: If web.xml defines a faces servlet, take it from there

[GitBox <gi...@apache.org>]

tandraschko commented on pull request #114:
URL: https://github.com/apache/myfaces/pull/114#issuecomment-673475760


   Thanks for the PR


----------------------------------------------------------------
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:
users@infra.apache.org