mirror of
https://github.com/open-webui/open-webui.git
synced 2026-08-20 04:31:01 -06:00
a3e477e100
fix: mismatch between TOOL_SERVERS / TOOL_SERVER_CONNECTIONS indexing