Skip to content

Autoconfigure Jersey Server Metrics in a JAX-RS environment #12905

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 2 commits into from
Closed

Autoconfigure Jersey Server Metrics in a JAX-RS environment #12905

wants to merge 2 commits into from

Conversation

michael-simons
Copy link
Contributor

This PR implements #12904 by

@spring-projects-issues spring-projects-issues added the status: waiting-for-triage An issue we've not yet triaged label Apr 18, 2018
@shakuzen
Copy link
Member

Looks like this might duplicate the efforts in #12482

@michael-simons
Copy link
Contributor Author

Yep. My search foo wasn’t good.

@michael-simons
Copy link
Contributor Author

It might be a good idea to copy some aspects of each PR after a quick check. I wouldn’t duplicate the properties for example and you have more tests.

@snicoll snicoll changed the title Implements #12904 Autoconfigure Jersey Server Metrics in a JAX-RS environment Apr 18, 2018
@philwebb philwebb added for: merge-with-amendments Needs some changes when we merge type: enhancement A general enhancement and removed status: waiting-for-triage An issue we've not yet triaged labels Jun 15, 2018
@philwebb philwebb added this to the Backlog milestone Jun 15, 2018
mweirauch added a commit to mweirauch/spring-boot that referenced this pull request Sep 2, 2018
mweirauch added a commit to mweirauch/spring-boot that referenced this pull request Sep 2, 2018
mweirauch added a commit to mweirauch/spring-boot that referenced this pull request Sep 6, 2018
mweirauch added a commit to mweirauch/spring-boot that referenced this pull request Sep 6, 2018
@wilkinsona wilkinsona added status: superseded An issue that has been superseded by another and removed for: merge-with-amendments Needs some changes when we merge type: enhancement A general enhancement labels Oct 5, 2018
@wilkinsona
Copy link
Member

Thank you, @michael-simons. We'll go ahead with #12482, modified to list you as a co-author.

@wilkinsona wilkinsona closed this Oct 5, 2018
@wilkinsona wilkinsona removed this from the 2.1.x milestone Oct 5, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
status: superseded An issue that has been superseded by another
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants