Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Memri
plugins
whatsapp
Merge requests
!38
Enable quick kill - eg with sigkill
Code
Review changes
Check out branch
Download
Email patches
Plain diff
Merged
Alp Deniz Ogut
requested to merge
enable_quick_kill
into
dev
Feb 03, 2022
Overview
0
Commits
2
Pipelines
2
Changes
2
Make sure threads exit too in case of improper exit.