Skip to content

[v13] Gracefully handle web socket closure by clients#33532

Merged
rosstimothy merged 1 commit intobranch/v13from
tross/backport-33480/v13
Oct 17, 2023
Merged

[v13] Gracefully handle web socket closure by clients#33532
rosstimothy merged 1 commit intobranch/v13from
tross/backport-33480/v13

Conversation

@rosstimothy
Copy link
Copy Markdown
Contributor

Backport #33480 to branch/v13

Updates the terminal stream to detect when the web socket is closed
by the UI via setting the close handler. This reduces the time it
takes the server to know the client closed the connection from the
value of the keep alive interval in the networking config (default 5m)
to as soon as a user closes the tab. Prior to this any session that
was terminated by closing the browser tab would have an active
session tracker until the web socket ping loop, which runs at the
keep alive interval, failed. Some logging was also cleaned up to
reduce the amount of spam that appears as a result of a session
being terminated by a user.
@rosstimothy rosstimothy marked this pull request as ready for review October 16, 2023 17:32
@github-actions github-actions Bot requested review from Tener and zmb3 October 16, 2023 17:33
@rosstimothy rosstimothy added this pull request to the merge queue Oct 17, 2023
Merged via the queue into branch/v13 with commit c8164b2 Oct 17, 2023
@rosstimothy rosstimothy deleted the tross/backport-33480/v13 branch October 17, 2023 13:57
@camscale camscale mentioned this pull request Oct 18, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants