More user-friendly handling of websocket disconnection errors