diff options
| author | Andreas Tolfsen <ato@sny.no> | 2018-03-28 18:54:34 +0100 |
|---|---|---|
| committer | Andreas Tolfsen <ato@sny.no> | 2018-03-28 18:54:34 +0100 |
| commit | 7eb9a091f3ab8e77978ad5c8369f2fb4bedc2610 (patch) | |
| tree | 59d8f1ce83b03ca9cfe39f369b188c696437c84d /src/rustllvm/RustWrapper.cpp | |
| parent | d87c19db6df9189a2beb43e7998d0cc5548878b3 (diff) | |
| download | rust-7eb9a091f3ab8e77978ad5c8369f2fb4bedc2610.tar.gz rust-7eb9a091f3ab8e77978ad5c8369f2fb4bedc2610.zip | |
std: Child::kill() returns error if process has already exited
This patch makes it clear in std::process::Child::kill()'s API documentation that an error is returned if the child process has already cleanly exited. This is implied by the example, but not called out explicitly.
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions