d90e8ea444
Make sure that we set the servlet name in the metrics object *before* calling the servlet, in case the servlet throws an exception. |
||
---|---|---|
.. | ||
__init__.py | ||
additional_resource.py | ||
client.py | ||
endpoint.py | ||
matrixfederationclient.py | ||
server.py | ||
servlet.py | ||
site.py |