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
..
2016-01-07 04:26:29 +00:00
2019-06-20 19:32:02 +10:00
2019-06-20 19:32:02 +10:00
2019-06-20 19:32:02 +10:00
2019-06-20 19:32:02 +10:00
2019-06-20 19:32:02 +10:00
2019-06-20 19:32:02 +10:00
2019-07-24 13:07:35 +01:00
2019-06-20 19:32:02 +10:00