mirror of https://github.com/prometheus/prometheus
Merge pull request #361 from prometheus/handle-sigterm
Handle SIGTERM in addition to SIGINT.pull/362/merge
commit
a411a6bdea
Loading…
Reference in new issue