
        Don't panic when dealing with disconnected websockets.

ba83f0f