diff options
| author | Bert Belder <bertbelder@gmail.com> | 2021-10-07 16:31:02 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-07 16:31:02 +0200 |
| commit | 822047b845d083721eb22663c98692d341bde648 (patch) | |
| tree | c684fdcf4b3cd6e746e90c1f6a51ecc632b136f7 /runtime/ops | |
| parent | c4b995ffe64728dd47a5ef0cbb47fc513e7a756e (diff) | |
fix(runtime): don't equate SIGINT to SIGKILL on Windows (#12356)
Diffstat (limited to 'runtime/ops')
| -rw-r--r-- | runtime/ops/process.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/ops/process.rs b/runtime/ops/process.rs index 7b01916b4..f6a472590 100644 --- a/runtime/ops/process.rs +++ b/runtime/ops/process.rs @@ -280,7 +280,7 @@ pub fn kill(pid: i32, signal: &str) -> Result<(), AnyError> { use winapi::um::processthreadsapi::TerminateProcess; use winapi::um::winnt::PROCESS_TERMINATE; - if !matches!(signal, "SIGINT" | "SIGKILL" | "SIGTERM") { + if !matches!(signal, "SIGKILL" | "SIGTERM") { Err(type_error(format!("Invalid signal: {}", signal))) } else if pid <= 0 { Err(type_error("Invalid pid")) |