Jorik Schellekens cf2972c818 Fix servlet metric names (#5734) ...

* Fix servlet metric names

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

* Remove redundant check

* Cover all return paths

2019-07-24 13:07:35 +01:00

7.1 KiB

Raw Blame History

View Raw