[GitHub] [tomcat] dagnelies edited a comment on pull request #412: Adding default manager roles in tomcat users config.

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

dagnelies edited a comment on pull request #412:
URL: https://github.com/apache/tomcat/pull/412#issuecomment-817654873


   @kkolinko Regarding:
   
   > There rarely is a need to explicitly create roles like the above. When parsing the tomcat-users.xml file, all roles mentioned in users are created automatically.
   
   I wasn't aware of that. If roles are automatically generated, what's the use of the `role` tag at all? I just assumed it was required since it's present in all examples.
   
   I'll remove the JMX part.


-- 
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



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