Skip to content

Close editor sockets before draining server shutdown - #14

Merged
DebelToni merged 1 commit into
mainfrom
fix/websocket-graceful-shutdown
Oct 19, 2026
Merged

Close editor sockets before draining server shutdown#14
DebelToni merged 1 commit into
mainfrom
fix/websocket-graceful-shutdown

Close collaborative sockets before HTTP shutdown drains

1c6ab2a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar