Move websocket to port 443 to improve compatibility
Improve websocket disconnect handling