Return `Ok` on kill if process has already exited#112594

Merged

bors merged 3 commits intorust-lang:masterfrom ChrisDenton:process=-kill

Jul 5, 2023

+32-14

Commits on Jul 1, 2023

Return Ok on kill if process has already exited
ChrisDenton
committed

Commits on Jul 4, 2023

Test Child::kill behaviour on exited process
ChrisDenton
committed

Commits on Jul 5, 2023

Workaround for old android not having echo
ChrisDenton
committed