peshming/src
Jan Christian Grünhage 854ddced3a chore!: replace prometheus with metrics
As part of the overall modernization of this application, this commit
replaces the prometheus crate with the generic metrics facade crate, and
the metrics_exporter_prometheus crate for exporting the metrics to
prometheus.

This also removes some useless http metrics that were cargo-culted in
from the prometheus crate example.

BREAKING CHANGE: http metrics are removed by this change
2022-03-17 16:25:40 +01:00
..
config.rs chore!: replace prometheus with metrics 2022-03-17 16:25:40 +01:00
main.rs chore!: replace prometheus with metrics 2022-03-17 16:25:40 +01:00
metrics.rs chore!: replace prometheus with metrics 2022-03-17 16:25:40 +01:00
ping.rs chore!: replace prometheus with metrics 2022-03-17 16:25:40 +01:00