Repaired rare WebSocket crash bug