Unnamed repository; edit this file 'description' to name the repository.
Kill the child process before waiting in streaming_output
Lukas Wirth 2021-10-14
parent 2ec406b · commit 168f9ad
-rw-r--r--crates/stdx/src/process.rs1
1 files changed, 1 insertions, 0 deletions
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()?
};