Skip to content
Snippets Groups Projects
Unverified Commit cf2972c8 authored by Jorik Schellekens's avatar Jorik Schellekens Committed by GitHub
Browse files

Fix servlet metric names (#5734) 


* Fix servlet metric names

Co-Authored-By: default avatarRichard van der Hoff <1389908+richvdh@users.noreply.github.com>

* Remove redundant check

* Cover all return paths
parent 8b0d5b17
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
Showing
with 92 additions and 31 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment