gevent-socketio中的心跳超时

Question

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

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

谢谢， 鲍里斯。