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

refac

Browse Source
This commit is contained in:
Timothy Jaeryang Baek
2025-07-31 16:47:02 +04:00
parent 1f22e1d84c
commit 6b34b2c946
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
backend/open_webui/utils/tools.py
View File

@@ -489,7 +489,7 @@ async def get_tool_servers_data(
if server.get("config", {}).get("enable"):
# Path (to OpenAPI spec URL) can be either a full URL or a path to append to the base URL
openapi_path = server.get("path", "openapi.json")
full_url = build_tool_server_url(server.get("url"), openapi_path)
full_url = get_tool_server_url(server.get("url"), openapi_path)
info = server.get("info", {})
@@ -637,7 +637,7 @@ async def execute_tool_server(
return {"error": error}
def build_tool_server_url(url: Optional[str], path: str) -> str:
def get_tool_server_url(url: Optional[str], path: str) -> str:
"""
Build the full URL for a tool server, given a base url and a path.
"""