doc: update prometheus metrics endpoint

This commit is contained in:
Florian Levis 2021-04-07 13:48:50 +02:00 committed by Alessandro Ros
parent 7fab9e5749
commit a5a02ffe82

View File

@ -483,7 +483,7 @@ There are multiple ways to monitor the server usage over time:
* A metrics exporter, compatible with Prometheus, can be enabled with the parameter `metrics: yes`; then the server can be queried for metrics with Prometheus or with a simple HTTP request: * A metrics exporter, compatible with Prometheus, can be enabled with the parameter `metrics: yes`; then the server can be queried for metrics with Prometheus or with a simple HTTP request:
``` ```
wget -qO- localhost:9998 wget -qO- localhost:9998/metrics
``` ```
Obtaining: Obtaining: