Brian Clozel da95542d8f Prevent duplicate HTTP server observations ...

Prior to this commit, HTTP server observations for Spring WebFlux could
be recorded twice for a single request in some cases. The "COMPLETE" and
"CANCEL" signals would race in the reactive pipeline and would trigger
both the `doOnComplete()` and ` `doOnCancel()` operators, each calling
`observation.stop()` on the current observation.
This would in fact publish two different observations for the same
request.

This commit ensures that the instrumentation uses the `Mono#tap`
operator to guard against this case and only call `Observation#stop`
once for each request.

Fixes gh-31417

2023-10-13 14:56:40 +02:00

..

src

Prevent duplicate HTTP server observations

2023-10-13 14:56:40 +02:00

spring-web.gradle

Avoid Aalto XML parser override

2023-08-02 01:32:29 +02:00