Skip to content

scrape: close manager gracefully at end.#6044

Merged
juliusv merged 1 commit intoprometheus:masterfrom johncming:scrape-close-managerSep 23, 2019
+1

Commits

Commits on Sep 23, 2019