PR #514 Grace period for websocket to close gracefully

Grace period for websocket to close gracefully #514

lukasIO merged 2 commits into main from lukas/await-leave

grace period for ws to close gracefully

3d28c996

changeset

3a6e7886

lukasIO requested a review from

davidzhao 3 years ago

davidzhao approved these changes on 2022-11-28

lukasIO merged 6a748fc5 into main 3 years ago

lukasIO deleted the lukas/await-leave branch 3 years ago

Reviewers

davidzhao

Assignees

No one assigned

Labels

None yet

Milestone

No milestone