diff --git a/casr/src/util.rs b/casr/src/util.rs index a993f4cd..6d255d2f 100644 --- a/casr/src/util.rs +++ b/casr/src/util.rs @@ -275,7 +275,7 @@ pub fn get_output(command: &mut Command, timeout: u64) -> Result { .unwrap() .is_none() { - child.kill()?; + let _ = child.kill(); warn!("Timeout: {:?}", command); } Ok(child.wait_with_output()?)