TimeoutForkserverExecutor fix (#140)

* fix the call to kill

* fix
This commit is contained in:
Toka 2021-06-01 02:31:32 +09:00 committed by GitHub
parent e4b3cc542a
commit c90604f123
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -388,7 +388,7 @@ where
self.executor.forkserver_mut().set_last_run_timed_out(1);
// We need to kill the child in case he has timed out, or we can't get the correct pid in the next call to self.executor.forkserver_mut().read_st()?
kill(self.executor.forkserver().child_pid(), Signal::SIGKILL)?;
let _ = kill(self.executor.forkserver().child_pid(), Signal::SIGKILL);
let (recv_status_len, _) = self.executor.forkserver_mut().read_st()?;
if recv_status_len != 4 {
return Err(Error::Forkserver(