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
..
__init__.py	…
additional_resource.py	…
client.py	…
endpoint.py	…
matrixfederationclient.py	…
server.py	Update http request metrics before calling servlet	2018-01-09 18:27:35 +00:00
servlet.py	…
site.py	…