M13: exit cleanly when stdout pipe closes (#203)

Co-authored-by: Brandon Thomas <echelon@gmail.com>
This commit is contained in:
Ayan
2026-10-07 22:14:30 -04:00
committed by GitHub
co-authored by Brandon Thomas
parent ddea3c72e0
commit 1cf0d319e4
4 changed files with 168 additions and 43 deletions
+2 -2
View File
@@ -9290,8 +9290,8 @@ milestone = "M13"
status = "shipped"
commands = []
tools = []
evidence = ["crates/automation/tests/automation.rs::tool_table_is_well_formed", "crates/automation/tests/automation.rs::edit_undo_redo_and_save_round_trip"]
notes = ""
evidence = ["crates/automation/tests/automation.rs::tool_table_is_well_formed", "crates/automation/tests/automation.rs::edit_undo_redo_and_save_round_trip", "apps/pdfcraft-cli/tests/stdout.rs::output_commands_exit_cleanly_when_the_reader_has_closed"]
notes = "CLI stdout exits cleanly if a pipe reader closes early; other output errors and command failures remain errors."
[[feature]]
id = "misc.cli-completeness"