mirror of
https://github.com/open-webui/open-webui.git
synced 2026-09-05 08:10:30 +00:00
refac
This commit is contained in:
parent
81b9afb731
commit
2140c189e1
1 changed files with 4 additions and 1 deletions
|
|
@ -1368,7 +1368,10 @@ async def get_terminal_tools(
|
|||
- Builds callables that route through the terminal proxy
|
||||
"""
|
||||
connections = await Config.get('terminal_server.connections', []) or []
|
||||
connection = next((c for c in connections if c.get('id') == terminal_id), None)
|
||||
connection = next(
|
||||
(terminal_connection for terminal_connection in connections if terminal_connection.get('id') == terminal_id),
|
||||
None,
|
||||
)
|
||||
if connection is None:
|
||||
raise RuntimeError(f"Terminal server '{terminal_id}' not found")
|
||||
if not connection.get('enabled', True):
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue