web端调用 destroy 的时候，websocket 仍没有断开

打开一个文件就建立一个 websocket，调用 destroy 时没有关闭连接，导致打开文件越多就建立越多 websocket，占用页面资源