Closed jhorwit2 closed 8 years ago
This PR adds support for prometheus push gateway and prometheus metrics servlet for metrics 3.
Also, the build target jdk changed from 1.6 to 1.7
This PR adds support for prometheus push gateway and prometheus metrics servlet for metrics 3.
Also, the build target jdk changed from 1.6 to 1.7