commit | 8d5a05a7f006968653f813529be1df253a881040 | [log] [tgz] |
---|---|---|
author | Frank Ch. Eigler <fche@redhat.com> | Thu Nov 07 04:00:16 2019 -0500 |
committer | Mark Wielaard <mark@klomp.org> | Sat Nov 23 00:31:26 2019 +0100 |
tree | 1ea5957305aa8116e39cdbc8f8e0e83e2ad31274 | |
parent | 0587c28365ccb119f860c1b3ca115a6105baadc8 [diff] |
debuginfod 5: add /metrics endpoint This webapi extensions allows admins to hook up debuginfod to a prometheus-compatible monitoring system for general situational statistics. The metrics are simple enough that local curl requests can give a user a sense of what's going on. The metrics are documented as unstable with respect to future versions.