"description":"Instrument all available data sources.",
"description":"Instrument all available data sources.",
"defaultValue":true
"defaultValue":true
...
@@ -1516,7 +1516,6 @@
...
@@ -1516,7 +1516,6 @@
"description":"Key for redis repository export (if active). Should be globally unique for a\n system sharing a redis repository across multiple processes.",
"description":"Key for redis repository export (if active). Should be globally unique for a\n system sharing a redis repository across multiple processes.",
"defaultValue":"keys.spring.metrics",
"defaultValue":"keys.spring.metrics",
"deprecation":{
"deprecation":{
"replacement":"spring.sendgrid.api-key",
"reason":"Metrics support is now using Micrometer.",
"reason":"Metrics support is now using Micrometer.",
"level":"error"
"level":"error"
}
}
...
@@ -1540,6 +1539,25 @@
...
@@ -1540,6 +1539,25 @@
"level":"error"
"level":"error"
}
}
},
},
{
"name":"spring.metrics.export.statsd.host",
"type":"java.lang.String",
"description":"Host of a statsd server to receive exported metrics.",