diff options
| author | Taylor Mullen <[email protected]> | 2025-05-09 23:29:02 -0700 |
|---|---|---|
| committer | N. Taylor Mullen <[email protected]> | 2025-05-10 00:21:09 -0700 |
| commit | 6b518dc9e4c601c0108768932dc1450c036075fd (patch) | |
| tree | aac19953db5a8cc2d1a68f46b51f1e5bef570e0e /docs/server | |
| parent | 090198a7d644f24c617bd35db6a287b930729280 (diff) | |
Enable tools to cancel active execution.
- Plumbed abort signals through to tools
- Updated the shell tool to properly cancel active requests by killing the entire child process tree of the underlying shell process and then report that the shell itself was canceled.
Fixes https://b.corp.google.com/issues/416829935
Diffstat (limited to 'docs/server')
0 files changed, 0 insertions, 0 deletions