アプリケーションで gevent-socketio を使用しています。ユーザーがセッションを適切に終了しなかった場合でも ( socket.disconnect()JS から呼び出して)切断されたユーザーに関する情報を取得する必要があります。私が理解したように、ドキュメントは古くなっています - そのバージョンは 0.3.1 ですが、コードのバージョンは 0.3.5-rc2 です (そして、それは利用可能です)。
gevent-socketio でハートビート タイムアウトを設定するにはどうすればよいですか?
ありがとう、ボリス。