mirror of
https://github.com/prometheus/prometheus.git
synced 2025-10-17 18:41:03 +02:00
Also, fix problems in shutdown. Starting serving and shutdown still has to be cleaned up properly. It's a mess. Change-Id: I51061db12064e434066446e6fceac32741c4f84c