Skip to content

Ensure workers exit when logging master disconnection fails - #200

Open
maleadt wants to merge 1 commit into
masterfrom
tb/exit_workers
Open

maleadt wants to merge 1 commit into
masterfrom
tb/exit_workers

Conversation

@maleadt

@maleadt maleadt commented Sep 11, 2026

Copy link
Copy Markdown
Member

Run exit(1) in a finally block so a failed fatal error report cannot leave the worker alive after losing its master, as actually encountered when debugging Julia.

Add a regression test that closes the worker output pipe and master connection, checks the exit status, and reaps the process on failure.

Run exit(1) in a finally block so a failed fatal error report cannot leave the worker alive after losing its master.

Add a regression test that closes the worker output pipe and master connection, checks the exit status, and reaps the process on failure.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant