|
|
3f1f4436df
|
metrics: have Registry() return a Registry instead of Registerer
(so it can also be used as a Gatherer)
|
2023-08-06 12:34:56 -07:00 |
|
|
|
6b6b22092e
|
metrics: allow server to return errors
|
2023-07-08 21:13:31 -07:00 |
|
|
|
a1e600e8ae
|
metricsserver: add helper for exporting prom metrics
(also from the monitor code)
|
2023-07-08 11:45:01 -07:00 |
|
