Skip to content

Don't promote SIGTERM to SIGKILL; let the users do it if needed#173

Merged
apoliakov merged 1 commit intomainfrom
dont_kill
Oct 22, 2025
Merged

Don't promote SIGTERM to SIGKILL; let the users do it if needed#173
apoliakov merged 1 commit intomainfrom
dont_kill

Commits

Commits on Oct 22, 2025