From fc400fe8162eb1944067d532453b6c577173bbe8 Mon Sep 17 00:00:00 2001 From: Tim O'Farrell Date: Thu, 21 Nov 2024 09:25:15 -0700 Subject: [PATCH] Fix for error on close --- openhands/server/session/manager.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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