Skip to content

Conversation

diesalbla
Copy link
Contributor

  • Extract local methods for main operations: starting the metric "timer", ending the metrics "timer".
  • Rename MetricsRequestContext to MetricsEntry, because they are not directly related to requests, and "context" is also used with "ContextRequest" and "ContextResponse", which can add confusion.

@mergify mergify bot added series/0.23 PRs targeting 0.23.x module:server labels Apr 5, 2022
@diesalbla diesalbla force-pushed the server_metrics_local_methods branch 5 times, most recently from 3a5d078 to fc10388 Compare April 5, 2022 10:06
@diesalbla diesalbla changed the title Server Metrics Middleware: rewrites Server Metrics Middleware Apr 5, 2022
@rossabaker
Copy link
Member

This has MiMa issues.

@diesalbla diesalbla force-pushed the server_metrics_local_methods branch from fc10388 to bacbcd5 Compare April 5, 2022 21:11
Extract local methods for main operations of starting the metric "timer",
ending the metrics "timer",

Rename `MetricsRequestContext` to `MetricsContext`, because they are
not directly related to requests, and "context" is also used with
"ContextRequest" and "ContextResponse", which can add confusion.
@diesalbla diesalbla force-pushed the server_metrics_local_methods branch from bacbcd5 to d4f0a00 Compare April 5, 2022 22:17
@diesalbla
Copy link
Contributor Author

This has MiMa issues.

Fixed.

@rossabaker rossabaker added the behind-the-scenes Appreciated, but not user-facing label Jun 4, 2022
@rossabaker rossabaker merged commit b73bf1b into http4s:series/0.23 Jun 4, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
behind-the-scenes Appreciated, but not user-facing module:server series/0.23 PRs targeting 0.23.x
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants