Skip to content

Conversation

@peteski22
Copy link
Contributor

  • Fix bug Health endpoint for unknown server returns http 500 #158 by explicitly mapping the server health not tracked error
  • Add tests for API level and health tracker level code
  • Add pre-emptive fix for unhandled tools not found error (and tests)
  • Update code comments for clarity and to aid future devs

Fixes: #158

…t found)

* Fix bug #158 by explicitly mapping the server health not tracked error
* Add tests for API level and health tracker level code
* Add pre-emptive fix for unhandled tools not found error (and tests)
* Update code comments for clarity and to aid future devs
@peteski22 peteski22 added bug Something isn't working api labels Sep 1, 2025
@HareeshBahuleyan HareeshBahuleyan self-requested a review September 2, 2025 09:30
Copy link

@HareeshBahuleyan HareeshBahuleyan left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks @peteski22 for the walkthrough 💙

@peteski22 peteski22 merged commit 47e61ea into main Sep 2, 2025
2 checks passed
@peteski22 peteski22 deleted the peteski22/158/health-endpoint-500 branch September 2, 2025 09:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

api bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Health endpoint for unknown server returns http 500

3 participants