fix: add timeout message if command times out (#2986)

pull/1919/merge
Aiden Cline 2025-10-05 23:55:01 -05:00 committed by GitHub
parent 889c276558
commit bdf77701cf
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 4 additions and 0 deletions

View File

@ -201,6 +201,10 @@ export const BashTool = Tool.define("bash", {
output += "\n\n(Output was truncated due to length limit)"
}
if (process.signalCode === "SIGTERM" && params.timeout) {
output += `\n\n(Command timed out after ${timeout} ms)`
}
return {
title: params.command,
metadata: {