Skip to content

fix(edge): expose port 80 health endpoint and guard websocket disconnects - #5

Merged
ATLURI0001 merged 1 commit into
mainfrom
fix/edge-http-health-and-ws-guards
Nov 13, 2026
Merged

fix(edge): expose port 80 health endpoint and guard websocket disconnects#5
ATLURI0001 merged 1 commit into
mainfrom
fix/edge-http-health-and-ws-guards

Conversation

@ATLURI0001

@ATLURI0001 ATLURI0001 commented Nov 13, 2026

Copy link
Copy Markdown
Owner

Summary

  • Exposes \location = /health\ on port 80 HTTP server block in \edge.conf\ so upstream load balancers and orchestrators can probe health without being redirected to HTTPS 8443.
  • Binds both /ws\ and /ws/\ routes in \�pps/demo/app.py\ for flexible path matching.
  • Guards WebSocket handler against client disconnects/aborts with explicit close state checks and connection reset handling.
  • Updates regression assertions in \ ests/test_project.py.

@ATLURI0001
ATLURI0001 merged commit 77b0eb3 into main Nov 13, 2026
1 check failed
@ATLURI0001
ATLURI0001 deleted the fix/edge-http-health-and-ws-guards branch November 13, 2026 12:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@ATLURI0001