Copilot commented on code in PR #12922:
URL: https://github.com/apache/gravitino/pull/12922#discussion_r3932381377
##########
server/src/main/java/org/apache/gravitino/server/GravitinoServer.java:
##########
@@ -198,15 +212,37 @@ protected void configure() {
// Root-level aliases for enterprise GTMs that require probes at
well-known root paths.
// Forwards /health, /health/live, /health/ready, and /health.html to the
canonical
- // /api/health/* endpoints.
+ // /api/health/* endpoints. Not part of ROOT_MOUNTED_PATHS below:
HealthAliasServlet forwards
+ // every request into /api/health*, which API_ANY_PATH already covers via
the servlet
Review Comment:
The comment references ROOT_MOUNTED_PATHS, but the code defines
ROOT_MOUNTED_API_PATHS and ROOT_MOUNTED_NON_API_PATHS. This mismatch is
confusing when someone tries to follow the guidance in the comment.
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: [email protected]
For queries about this service, please contact Infrastructure at:
[email protected]