Show tool name for Unknown tool (#27667)

Right now we can't see what tool name the model was trying to run.

Release Notes:

- N/A
This commit is contained in:
Richard Feldman 2025-03-28 13:13:15 -04:00 committed by GitHub
parent a916bbf00c
commit 55d934a3be
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -209,7 +209,7 @@ impl ToolUseState {
if let Some(tool) = self.tools.tool(tool_name, cx) {
tool.ui_text(input).into()
} else {
"Unknown tool".into()
format!("Unknown tool {tool_name:?}").into()
}
}