mirror of
https://github.com/prometheus/prometheus.git
synced 2025-09-28 17:21:03 +02:00
Fix race by properly locking access to scrape pools. Use separate mutex for information needed by UI so that UI isn't blocked when targets are being updated.