David J. M. Karlsen 4e71981f77 Add Prometheus push gateway support ...

Add support for Prometheus push gateway so that short lived processes
(for example batch jobs) can still submit metrics to Prometheus.

Closes gh-14353

2018-10-05 18:12:19 -07:00

..

src/main/xslt

Fix POMs for the updated build/release process

2017-10-04 16:34:38 -07:00

pom.xml

Add Prometheus push gateway support

2018-10-05 18:12:19 -07:00