bunpen: log *which* PID exits when a child exits

This commit is contained in:
2024-12-22 06:15:00 +00:00
parent fd97b6fea9
commit eacf23da47

View File

@@ -62,7 +62,7 @@ fn wait_and_propagate(child_pid: os::exec::process) (void | os::exec::error) = {
let rc = rt::wexitstatus(status.status);
// TODO: if the child exited due to a signal (e.g. SIGTERM), we (confusingly?) exit 0.
// seems correct behavior may be to send the same termination signal to ourselves.
log::printfln("[namespace/fork] child exited with {}; forwarding as {}", status.status, rc);
log::printfln("[namespace/fork] child {} exited with {}; forwarding as {}", child_pid: int, status.status, rc);
os::exit(rc); // propagate exit code
};