diff options
| author | bors <bors@rust-lang.org> | 2023-07-05 11:04:17 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-07-05 11:04:17 +0000 |
| commit | dfe0683138de0959b6ab6a039b54d9347f6a6355 (patch) | |
| tree | f115d4a7de5b7a02151d745f44674adc31cb7ebd /compiler/rustc_middle/src | |
| parent | 99f7d368c0ed753db797ee82e89b5a2b7e49509a (diff) | |
| parent | 9e5f61fcdd29936938d401c0f0055b9af32caf5c (diff) | |
| download | rust-dfe0683138de0959b6ab6a039b54d9347f6a6355.tar.gz rust-dfe0683138de0959b6ab6a039b54d9347f6a6355.zip | |
Auto merge of #112594 - ChrisDenton:process=-kill, r=Amanieu
Return `Ok` on kill if process has already exited This will require an FCP from `@rust-lang/libs-api.` Fixes #112423. See that issue for more details.
Diffstat (limited to 'compiler/rustc_middle/src')
0 files changed, 0 insertions, 0 deletions