https://bz.apache.org/bugzilla/show_bug.cgi?id=60469
Michael Osipov <1983-01...@gmx.net> changed: What |Removed |Added ---------------------------------------------------------------------------- Resolution|WONTFIX |--- Severity|major |enhancement Status|RESOLVED |REOPENED --- Comment #2 from Michael Osipov <1983-01...@gmx.net> --- (In reply to Remy Maucherat from comment #1) > I disagree, it's not worth changing the API for it and it's worse than > "checking for changes" which actually never happens. > BTW, this is an "enhancement", not a "major" bug. Why do you close this issue without having a discussion first? No one is changing the API. You can still continue to override #hasRole(), it will have the same effect. The change can happen and are not a part of an API at at all. The code of RealmBase#hasRole() is implementation specific, not to be known to the user at best. -- You are receiving this mail because: You are the assignee for the bug. --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org