-
Notifications
You must be signed in to change notification settings - Fork 791
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We鈥檒l occasionally send you account related emails.
Already on GitHub? Sign in to your account
Instrument java.servlet.Filter directly #1606
Instrument java.servlet.Filter directly #1606
Conversation
cc9cf8c
to
5538fdf
Compare
@trask what are your plans for making this real PR? |
5538fdf
to
14cd6b4
Compare
public class HandlerMappingResourceNameFilter extends OncePerRequestFilter implements Ordered { | ||
public class HandlerMappingResourceNameFilter implements Filter, Ordered { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
can't have helper class extend OncePerRequestFilter
, because then OncePerRequestFilter
won't be instrumented itself
How does it compare to |
|
I'm not sure why we instrument
java.servlet.FilterChain.doFilter()
instead of the more generaljava.servlet.Filter.doFilter()
.Let's see if any tests fail with this change 馃槀.
See #1578