mirror of
https://github.com/open-webui/open-webui.git
synced 2026-10-05 02:41:34 +00:00
Merge d1789c889b into 8b1ae1d331
This commit is contained in:
commit
9590f91845
1 changed files with 2 additions and 1 deletions
|
|
@ -3,6 +3,7 @@ from __future__ import annotations
|
|||
import asyncio
|
||||
import copy
|
||||
import time
|
||||
import weakref
|
||||
from datetime import timedelta
|
||||
from uuid import uuid4
|
||||
|
||||
|
|
@ -41,7 +42,7 @@ MUTATING_MEMORY_TOOLS = {
|
|||
_background_active: set[str] = set()
|
||||
_background_lock = asyncio.Lock()
|
||||
_foreground_semaphore: asyncio.Semaphore | None = None
|
||||
_parent_locks: dict[str, asyncio.Lock] = {}
|
||||
_parent_locks: weakref.WeakValueDictionary[str, asyncio.Lock] = weakref.WeakValueDictionary()
|
||||
|
||||
|
||||
def _build_request(source: Request, user_id: str, *, internal: bool) -> Request:
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue