From 168f9adaf581a0f317881dcc8ad28c195f479191 Mon Sep 17 00:00:00 2001 From: Lukas Wirth Date: Thu, 14 Oct 2021 13:53:25 +0200 Subject: [PATCH] Kill the child process before waiting in streaming_output --- crates/stdx/src/process.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/crates/stdx/src/process.rs b/crates/stdx/src/process.rs index 34cabf7807..b26b71c9de 100644 --- a/crates/stdx/src/process.rs +++ b/crates/stdx/src/process.rs @@ -49,6 +49,7 @@ pub fn streaming_output( } } })?; + let _ = child.kill(); child.wait()? };