diff options
Diffstat (limited to 'src/pipeline/mod.rs')
| -rw-r--r-- | src/pipeline/mod.rs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/pipeline/mod.rs b/src/pipeline/mod.rs index 5f949f4..51f1987 100644 --- a/src/pipeline/mod.rs +++ b/src/pipeline/mod.rs @@ -371,6 +371,13 @@ async fn wait_children( } nix::sys::wait::WaitStatus::Signaled(pid, signal, _) => { let (_, last) = children.remove(&pid).unwrap(); + if signal == nix::sys::signal::Signal::SIGINT { + if let Err(e) = nix::sys::signal::raise( + nix::sys::signal::Signal::SIGINT, + ) { + bail!(e); + } + } // this conversion is safe because the Signal enum is // repr(i32) #[allow(clippy::as_conversions)] |