Richard van der Hoff d90e8ea444 Update http request metrics before calling servlet
Make sure that we set the servlet name in the metrics object *before* calling
the servlet, in case the servlet throws an exception.
2018-01-09 18:27:35 +00:00
..
2017-12-05 09:40:05 +00:00
2017-11-29 16:00:46 +00:00
2017-04-05 14:15:09 +01:00
2017-12-05 11:09:31 +00:00
2017-11-17 10:10:53 +00:00