Richard van der Hoff 6d2d42f8fb Rewrite BucketCollector ... This was a bit unweildy for what I wanted: in particular, I wanted to assign each measurement straight into a bucket, rather than storing an intermediate Counter which didn't do any bucketing at all. I've replaced it with something that is hopefully a bit easier to use. (I'm not entirely sure what the difference between a HistogramMetricFamily and a GaugeHistogramMetricFamily is, but given our counters can go down as well as up the latter *sounds* more accurate?)		2020-09-30 16:49:15 +01:00
..
__init__.py	Rewrite BucketCollector	2020-09-30 16:49:15 +01:00
_exposition.py	Fix _exposition.py to stop stripping samples	2020-09-30 16:45:43 +01:00
background_process_metrics.py	…