diff options
Diffstat (limited to 'runtime/ops/process.rs')
| -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")) |