docs(tools/bash): add killed to status tool status enum
The kill tool (previous commit) produces the 'killed' terminal status, but the status tool docs listed only pending/running/done/timed_out/ interrupted. Add 'killed' to complete the enum.
This commit is contained in:
parent
c7c2536e34
commit
eb04225ddf
1 changed files with 1 additions and 1 deletions
|
|
@ -40,7 +40,7 @@ Exposed as `mcp__bash__run`.
|
||||||
|
|
||||||
Poll the status of a task submitted with `run`. Returns:
|
Poll the status of a task submitted with `run`. Returns:
|
||||||
|
|
||||||
- `status` — `pending` / `running` / `done` / `timed_out` / `interrupted`
|
- `status` — `pending` / `running` / `done` / `timed_out` / `interrupted` / `killed`
|
||||||
- `exit_code` — set when done
|
- `exit_code` — set when done
|
||||||
- run duration
|
- run duration
|
||||||
- last 4 KiB of stdout and stderr (full output in the `.out` / `.err` files)
|
- last 4 KiB of stdout and stderr (full output in the `.out` / `.err` files)
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue