Skip to content

Server forcefully disconnects crashed clients - #1253

Merged
JulienVig merged 2 commits into
mainfrom
disconnect-crashed-clients
Oct 13, 2026
Merged

JulienVig merged 2 commits into
mainfrom
disconnect-crashed-clients

Conversation

@JulienVig

Copy link
Copy Markdown
Collaborator

#1227 implements crashing clients upon unexpected and unrecoverable events. However, it relies on the client actually disconnecting themselves upon receiving the messages. This PR implements the disconnection server-side, whether or not the client actually follows through with the disconnection

@JulienVig
JulienVig changed the base branch from unit-tests-federated-controller to refactor-mtype October 9, 2026 15:49
@JulienVig
JulienVig added this pull request to stack #1252 October 9, 2026 15:49
@leonard-amsler leonard-amsler linked an issue Oct 13, 2026 that may be closed by this pull request
@JulienVig
JulienVig force-pushed the disconnect-crashed-clients branch 2 times, most recently from ee1c6c1 to b7e137d Compare October 13, 2026 14:46
@JulienVig
JulienVig marked this pull request as ready for review October 13, 2026 14:46
Base automatically changed from refactor-mtype to main October 13, 2026 15:05
@JulienVig
JulienVig force-pushed the disconnect-crashed-clients branch from b7e137d to 484d3cb Compare October 13, 2026 15:05
dependabot Bot and others added 2 commits October 13, 2026 17:14
Bumps [sharp](https://github.com/lovell/sharp) from 0.35.4 to 0.35.5.
- [Release notes](https://github.com/lovell/sharp/releases)
- [Commits](lovell/sharp@v0.35.4...v0.35.5)

---
updated-dependencies:
- dependency-name: sharp
  dependency-version: 0.35.5
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
@JulienVig
JulienVig force-pushed the disconnect-crashed-clients branch from 484d3cb to 90ed50a Compare October 13, 2026 15:14
@JulienVig
JulienVig merged commit 68b4ad4 into main Oct 13, 2026
20 checks passed
@JulienVig
JulienVig deleted the disconnect-crashed-clients branch October 13, 2026 15:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Disconnection of crashed clients in federated server

1 participant