^h*SrSSKJr Srg)zLog functions for prometheus)HTTP_REQUEST_DURATION_SECONDSc[R"URRURR S[ U5R3UR5S9RURR55 g)ac 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)rs a/home/james-whalen/.local/lib/python3.13/site-packages/jupyter_server/prometheus/log_functions.pyprometheus_log_methodrsj "((%%$$//0$w-2H2H1IJ&&(ggoo**,-N)__doc__metricsrrrrrs"2.r