mirror of
https://github.com/open-webui/open-webui.git
synced 2025-12-12 04:15:25 +00:00
refac/fix
This commit is contained in:
parent
d21a2581a6
commit
c03b574ef6
1 changed files with 1 additions and 1 deletions
|
|
@ -581,7 +581,7 @@ async def yjs_document_leave(sid, data):
|
||||||
)
|
)
|
||||||
|
|
||||||
if (
|
if (
|
||||||
YDOC_MANAGER.document_exists(document_id)
|
await YDOC_MANAGER.document_exists(document_id)
|
||||||
and len(await YDOC_MANAGER.get_users(document_id)) == 0
|
and len(await YDOC_MANAGER.get_users(document_id)) == 0
|
||||||
):
|
):
|
||||||
log.info(f"Cleaning up document {document_id} as no users are left")
|
log.info(f"Cleaning up document {document_id} as no users are left")
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue