Skip to content

Conversation

@Jake-Shadle
Copy link
Collaborator

Note that I thought about adding waitpid as mentioned here but while it would be more efficient (probably) it would also make the code more complicated if we wanted to keep the notion of a timeout, as we'd need to do a little dance of running it in a separate thread that we could pkill, and it doesn't feel like that complexity would be worth it?

@Jake-Shadle Jake-Shadle merged commit f13d7a2 into main Mar 21, 2024
@Jake-Shadle Jake-Shadle deleted the unconditional-continue branch March 21, 2024 15:19
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.

2 participants