Skip to content

ServletEndpoints do not consider server.servlet.path #13106

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.

Sign up for GitHub

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

Jump to bottom
Closed
mbhave opened this issue May 8, 2018 · 1 comment
Closed

ServletEndpoints do not consider server.servlet.path #13106

mbhave opened this issue May 8, 2018 · 1 comment
Labels
type: bug A general bug
Milestone
2.0.3

Comments

@mbhave
Copy link
Contributor

mbhave commented May 8, 2018

For example, the jolokia endpoint
@mbhave mbhave added the type: bug A general bug label May 8, 2018
@mbhave mbhave mentioned this issue May 8, 2018
Closed
@mbhave mbhave added this to the 2.0.x milestone May 8, 2018
@gmcouto
Copy link

gmcouto commented May 9, 2018

I have created a pull request that fixes this:
#13124

@gmcouto gmcouto mentioned this issue May 9, 2018
Closed
@mbhave mbhave closed this as completed in c937bb6 May 10, 2018
@snicoll snicoll modified the milestones: 2.0.x, 2.0.3 May 11, 2018
@wilkinsona wilkinsona mentioned this issue Jun 19, 2018
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
type: bug A general bug
Projects
None yet
Milestone
2.0.3
Development

No branches or pull requests
3 participants
@snicoll @gmcouto @mbhave