(content: ToolContent[])
| 292 | } |
| 293 | |
| 294 | function toolErrorPreview(content: ToolContent[]): string | undefined { |
| 295 | const text = contentText(content).replace(/\s+/g, " ").trim(); |
| 296 | if (!text) return undefined; |
| 297 | return text.length > 240 ? `${text.slice(0, 237)}...` : text; |
| 298 | } |
| 299 | |
| 300 | function logFailedToolResponse( |
| 301 | config: ServerConfig, |
no test coverage detected