From e72da0df5a4a6983840dc6a9492e872d066e5b51 Mon Sep 17 00:00:00 2001 From: Timothy Jaeryang Baek Date: Tue, 15 Jul 2025 18:10:36 +0400 Subject: [PATCH] refac/fix: WEBSOCKET_REDIS_LOCK_TIMEOUT type --- backend/open_webui/env.py | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/backend/open_webui/env.py b/backend/open_webui/env.py index 4db919121a..425d459244 100644 --- a/backend/open_webui/env.py +++ b/backend/open_webui/env.py @@ -450,7 +450,13 @@ ENABLE_WEBSOCKET_SUPPORT = ( WEBSOCKET_MANAGER = os.environ.get("WEBSOCKET_MANAGER", "") WEBSOCKET_REDIS_URL = os.environ.get("WEBSOCKET_REDIS_URL", REDIS_URL) -WEBSOCKET_REDIS_LOCK_TIMEOUT = os.environ.get("WEBSOCKET_REDIS_LOCK_TIMEOUT", 60) + +websocket_redis_lock_timeout = os.environ.get("WEBSOCKET_REDIS_LOCK_TIMEOUT", "60") + +try: + WEBSOCKET_REDIS_LOCK_TIMEOUT = int(websocket_redis_lock_timeout) +except ValueError: + WEBSOCKET_REDIS_LOCK_TIMEOUT = 60 WEBSOCKET_SENTINEL_HOSTS = os.environ.get("WEBSOCKET_SENTINEL_HOSTS", "")