chore: format
This commit is contained in:
1 parent
43c30428a6
commit
1357dc6737
70 files changed
+3295
-355
No files matched your search
@@ -164,7 +164,8 @@
|
||||
$: if (selectedToolIds.length > 0) {
|
||||
const directTerminalServers = ($terminalServers ?? []).filter((t) => !t.id);
|
||||
const terminalIds = directTerminalServers.map(
|
||||
(_, i) => `direct_server:terminal_${($terminalServers ?? []).indexOf(directTerminalServers[i])}`
|
||||
(_, i) =>
|
||||
`direct_server:terminal_${($terminalServers ?? []).indexOf(directTerminalServers[i])}`
|
||||
);
|
||||
const invalidTerminalIds = selectedToolIds.filter(
|
||||
(id) => id.startsWith('direct_server:terminal_') && !terminalIds.includes(id)
|
||||
|
||||
Reference in new issue
Block a user