Mirrors/open-webui
1
0
Fork 0
mirror of https://github.com/open-webui/open-webui.git synced 2025-12-16 03:47:49 +01:00
Code Issues Packages Projects Releases Wiki Activity

fix

Browse Source
This commit is contained in:
Timothy J. Baek
2024-06-11 00:50:30 -07:00
parent a91db7f7a6
commit 91bc65c7da
2 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
backend/apps/webui/routers/tools.py
View File

@@ -172,6 +172,7 @@ async def delete_toolkit_by_id(request: Request, id: str, user=Depends(get_admin
if result:
TOOLS = request.app.state.TOOLS
del TOOLS[id]
if id in TOOLS:
del TOOLS[id]
return result