这两种方法看起来相同。如果它们两个都可以关闭连接,则end()方法似乎是晦涩而多余的。
它们之间有任何区别吗?
end
方法是从WriteStream
继承的。默认情况下它调用close
。
如果您不将Websocket用作流,只需在代码中调用close
。
在vert.x核心文档中的流中更多。