我正在玩eventlet's websocket。当我从浏览器连接到websocket，然后从浏览器关闭websocket时，服务器端会引发ConnectionAbortedError，但是eventlet的文档说明应该引发BrokenPipeError。
我阅读了有关BrokenPipeError和ConnectionAbortedError的Python文档，但我不明白其中的区别。
以下是javascript代码：
var socket = new WebSocket('ws://...');
socket.onmessage = function(m){console.log(m.data);};
socket.close();