Fix websocket disconnect handling to avoid server shutdown#1636
Open
simonrosenberg wants to merge 1 commit intomainfrom
Open
Fix websocket disconnect handling to avoid server shutdown#1636simonrosenberg wants to merge 1 commit intomainfrom
simonrosenberg wants to merge 1 commit intomainfrom
