mirror of
https://github.com/open-webui/open-webui.git
synced 2026-05-06 02:48:13 -05:00
[PR #7964] [MERGED] Fix Redis Lock Expiration in periodic_usage_pool_cleanup #37770
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/open-webui/open-webui/pull/7964
Author: @jk-f5
Created: 12/19/2024
Status: ✅ Merged
Merged: 12/19/2024
Merged by: @tjbck
Base:
dev← Head:fix/cleanup📝 Commits (1)
03e48defix: Issue in some environments running in dev mode with redis where periodic cleanup takes longer than TIMEOUT_DURATION*2 seconds to be called and the lock expires.📊 Changes
1 file changed (+3 additions, -4 deletions)
View changed files
📝
backend/open_webui/socket/main.py(+3 -4)📄 Description
Changelog
Fixed
periodic_usage_pool_cleanupcoroutine was encountering an error due to the Redis lock expiring before it could be renewed in some environments.To resolve this timing issue, the lock acquisition was moved from module initialization into theperiodic_usage_pool_cleanup coroutineitself.🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.