Skip to content

Avoid raising error if process is gone when sending it a signal - #62

Merged
LudovicoRighi merged 1 commit into
mainfrom
mitigate-race
Jul 12, 2025
Merged

Avoid raising error if process is gone when sending it a signal#62
LudovicoRighi merged 1 commit into
mainfrom
mitigate-race

Conversation

@LudovicoRighi

@LudovicoRighi LudovicoRighi commented Jul 11, 2025 •
edited
Loading

Copy link
Copy Markdown
Collaborator

@LudovicoRighi
LudovicoRighi requested a review from gusostow July 11, 2025 10:27
@LudovicoRighi LudovicoRighi mentioned this pull request Jul 11, 2025
Open
@LudovicoRighi
LudovicoRighi merged commit 1a13741 into main Jul 12, 2025
@LudovicoRighi
LudovicoRighi deleted the mitigate-race branch July 12, 2025 09:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@gusostow gusostow gusostow approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@LudovicoRighi @gusostow @lrighi-xtm