o i @sdZddlmZddZdS)zLog functions for prometheus)HTTP_REQUEST_DURATION_SECONDScCs<tj|jj|jjdt|j|d |j dS)a Tornado log handler for recording RED metrics. We record the following metrics: Rate - the number of requests, per second, your services are serving. Errors - the number of failed requests per second. Duration - The amount of time each request takes expressed as a time interval. We use a fully qualified name of the handler as a label, rather than every url path to reduce cardinality. This function should be either the value of or called from a function that is the 'log_function' tornado setting. This makes it get called at the end of every request, allowing us to record the metrics we need. .)methodhandler status_codeN) rlabelsrequestr __class__ __module__type__name__ get_statusobserve request_time)rrb/var/www/edux/Edux_v2/venv/lib/python3.10/site-packages/jupyter_server/prometheus/log_functions.pyprometheus_log_methods rN)__doc__metricsrrrrrrs