diff options
| author | Peter Hofmann <scm@uninformativ.de> | 2024-06-18 19:09:32 +0200 |
|---|---|---|
| committer | Leonardo Hernández Hernández <leohdz172@proton.me> | 2024-06-20 16:36:08 -0600 |
| commit | 7a46fccdba35b46d91226d10c1c9b90e43418c09 (patch) | |
| tree | 919295c6f52b78375f0437fd00f186e78463b5ab /LICENSE | |
| parent | c2e7350f2ef4f07810c8fa49bed3e8db37faa058 (diff) | |
Run startup_cmd in new session and kill the entire group
When a user's startup_cmd is a little more complex, e.g. a shell script,
and forks off several processes, then killing only the main child pid
might leave unwanted processes behind on exit. Not all children will
notice when their parent or the compositor has quit.
To fix this, put startup_cmd into its own session and process group, and
kill the entire group on exit.
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions