【发布时间】:2014-02-11 06:51:17
【问题描述】:
我正在开发一个使用 Websocket 连接到服务器的机器人 Web 应用程序。服务器建立在 RosBridge 之上,并使用 Tornado Web 实现。
对于 web UI,使用可以断开 websocket 的原因有以下 3 个。 - 服务器挂了。 - 另一个用户将您踢出会话。 - 会话令牌已过期。
服务器将此信息传达给 UI 的最佳方式是将关闭原因和/或代码(只需要两者之一)设置到 UI。我的理解是 websocket 协议允许这样做,但 Tornado API 似乎缺少该选项。
【问题讨论】: