mirror of
https://github.com/prometheus/prometheus.git
synced 2024-11-11 16:14:05 -08:00
2fad91d25a
The timer semantics is really hard. The simple pattern as given in the godoc for the time package assumes we are not elsewhere consuming from the timer's channel. However, exactly that can happen here with the right sequence of events. Thus, we have to drain the channel only if it has something to drain. |
||
---|---|---|
.. | ||
fanin | ||
local | ||
metric | ||
remote | ||
storage.go |