junedo/javamelody

Add Name to web-fragment

Closed this issue · 1 comments

GoogleCodeExporter commented 
Is it possible to add a name to web-fragment.
The name is used in web.xml to order the load of web-fragment.

Cf https://blogs.oracle.com/swchan/entry/servlet_3_0_web_fragment

Exemple :

<web-fragment ....>
  <name>javamelody</name>
</web-fragment>

Original issue reported on code.google.com by pdaco...@gmail.com on 25 Mar 2014 at 9:28

GoogleCodeExporter commented 
it's fixed in trunk (revision 3570) and ready for the next release (1.51 in 
about two months).

thanks

Original comment by evernat@free.fr on 25 Mar 2014 at 2:53

  • Changed state: Fixed