Don't reset child_pid in forkserver executors (#1715)

Child pid is no longer reset after a run in persistent mode

Co-authored-by: Timme Bethe <git@timmebethe.nl>
This commit is contained in:
tbethe 2023-12-05 19:38:17 +00:00 committed by GitHub
parent fad59987d9
commit 686d29a3cb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -627,7 +627,9 @@ where
exit_kind = ExitKind::Timeout;
}
if !libc::WIFSTOPPED(self.executor.forkserver().status()) {
self.executor.forkserver_mut().reset_child_pid();
}
Ok(exit_kind)
}
@ -1310,7 +1312,9 @@ where
}
}
if !libc::WIFSTOPPED(self.forkserver.status) {
self.forkserver.reset_child_pid();
}
// Clear the observer map after the execution is finished
compiler_fence(Ordering::SeqCst);