diff --git a/openhands/server/session/manager.py b/openhands/server/session/manager.py index 3c005a7a75c0..c80409d83012 100644 --- a/openhands/server/session/manager.py +++ b/openhands/server/session/manager.py @@ -166,8 +166,9 @@ async def _check_and_close_session(self, session: Session): redis_client = self._get_redis_client() if redis_client: key = _CONNECTION_KEY.format(sid=session.sid) - has_connections_for_session = bool(await redis_client.get(key)) - if not has_connections_for_session: + connections_for_session = await redis_client.lrange(key, 0, -1) + testy = await redis_client.get(key+"no_exist") + if not connections_for_session: await redis_client.delete(key) # If no connections, close session