gevent-socketio - gevent-socketio 中的心跳超时

Question

我在我的应用程序中使用 gevent-socketio。我需要获取有关用户断开连接的信息，即使他没有正确完成会话（socket.disconnect()从 JS 调用）。正如我从docs看到的，SocketIOServer 构造函数具有参数 *heartbeat_interval*，但我在代码中看不到它。据我了解，文档已过时-其版本为 0.3.1，但代码版本为 0.3.5-rc2（并且仅可用）。

如何在 gevent-socketio 中设置心跳超时？

谢谢，鲍里斯。