support different ports for websocket and http
Show users editing and lag, properly send message to indicate that all users have left channel and show basic error box if disconnected.