Spring/spring-boot
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Polish "Auto-configure Micrometer's Jersey 2 server instrumentation"

Browse Source 
Closes gh-12482
This commit is contained in:
Andy Wilkinson
2018-10-05 16:03:12 +01:00
parent dd126faf5a
commit 72e2313fe8
6 changed files with 52 additions and 73 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
spring-boot-project/spring-boot-docs/src/main/asciidoc/production-ready-features.adoc
View File

@@ -1835,9 +1835,9 @@ To customize the tags, provide a `@Bean` that implements `WebFluxTagsProvider`.
[[production-ready-metrics-jersey-server]]
==== Jersey Server Metrics
Auto-configuration enables the instrumentation of requests handled by the Jersey JAX-RS
implementation. When `management.metrics.jersey2.server.auto-time-requests` is `true`,
this instrumentation occurs for all requests. Alternatively, when set to `false`, you
can enable instrumentation by adding `@Timed` to a request-handling method:
implementation. When `management.metrics.web.server.auto-time-requests` is `true`, this
instrumentation occurs for all requests. Alternatively, when set to `false`, you can
enable instrumentation by adding `@Timed` to a request-handling method:
[source,java,indent=0]
----
@@ -1858,7 +1858,7 @@ the class, but can be used to further customize the timer for this particular en
timers require a separate metric name, and can be stacked with a short task timer.
By default, metrics are generated with the name, `http.server.requests`. The name can be
customized by setting the `management.metrics.jersey2.server.requests-metric-name` property.
customized by setting the `management.metrics.web.server.requests-metric-name` property.
By default, Jersey server metrics are tagged with the following information: