Merge pull request #1686 from RooVetGit/await_problems

Fix getWorkspaceProblems to use an await
This commit is contained in:
Matt Rubens 2025-03-15 23:21:19 -04:00 committed by GitHub
commit ec621cb862
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -104,7 +104,7 @@ export async function parseMentions(text: string, cwd: string, urlContentFetcher
}
} else if (mention === "problems") {
try {
const problems = getWorkspaceProblems(cwd)
const problems = await getWorkspaceProblems(cwd)
parsedText += `\n\n<workspace_diagnostics>\n${problems}\n</workspace_diagnostics>`
} catch (error) {
parsedText += `\n\n<workspace_diagnostics>\nError fetching diagnostics: ${error.message}\n</workspace_diagnostics>`