Skip to content

close dockers when segmentation fault#50

Merged
DaniAffCH merged 1 commit into
mainfrom
signal_docker_handling
Oct 4, 2025
Merged

close dockers when segmentation fault#50
DaniAffCH merged 1 commit into
mainfrom
signal_docker_handling

Conversation

@jacopotdsc

@jacopotdsc jacopotdsc commented Oct 4, 2025

Copy link
Copy Markdown
Collaborator

Signal handler close docker when occurs a segmentation fault into the code.

could not verify with kill -SEGV <pid> ( #43 ) because for some strange reason doesn't happend nothing, I tested this when error raised in #45 and it worked

@jacopotdsc jacopotdsc requested a review from DaniAffCH October 4, 2025 18:36
@DaniAffCH DaniAffCH merged commit d81b1fe into main Oct 4, 2025
3 checks passed
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