manager: /metrics API improvements
-
/metrics
: returns 301, redirects to/metrics/json
-
/metrics/json
: exports metrics in JSON format -
/metrics/prometheus
: optional, exports metrics in Prometheus format, returns 404 if not supported -
prometheus_client
python package is optional dependency
See the commits for more information.
Edited by Aleš Mrázek