2ff286e5ed
* Handle closure of WebSockets better, improve formatting of code * Update comment
* Handle closure of WebSockets better, improve formatting of code * Update comment