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	Fix error handling on dns lookup	2017-11-24 16:47:48 +00:00
matrixfederationclient.py	…
server.py	Update http request metrics before calling servlet	2018-01-09 18:27:35 +00:00
servlet.py	Fix 500 on invalid utf-8 in request	2017-11-10 09:15:39 +00:00
site.py	…