chore: linty lint

This commit is contained in:
2026-02-06 10:26:24 -08:00
parent e8e9f5c79c
commit dfb1ab36ce
4 changed files with 26 additions and 20 deletions
+3 -1
View File
@@ -341,7 +341,9 @@ User: ${formattedMessage}`;
// Get current working directory and granted tools before reconnecting
const workingDir = await invoke<string>("get_working_directory", { conversationId });
const activeConversation = get(conversationsStore.activeConversation);
const grantedTools = activeConversation ? Array.from(activeConversation.grantedTools) : [];
const grantedTools = activeConversation
? Array.from(activeConversation.grantedTools)
: [];
const config = configStore.getConfig();
const allAllowedTools = [...new Set([...grantedTools, ...config.auto_granted_tools])];