diff options
| author | Jakub Hrozek <jhrozek@redhat.com> | 2009-08-03 11:55:36 +0200 |
|---|---|---|
| committer | Stephen Gallagher <sgallagh@redhat.com> | 2009-08-11 12:29:35 -0400 |
| commit | dd8aaf74198c084fd0aa712d56c4511978f04ebe (patch) | |
| tree | 32b5b07a2781ffe2381265f3ffeb8202cd216e91 /server/man | |
| parent | b3b55f167063417c285524ba35bd9298965b834a (diff) | |
Make child processes exit when parent dies
The child processes call prctl() and when their parent process is
killed, they are sent SIGTERM using prctl. This is currently
Linux-specific, for non-Linuxes, a similar effect is achieved by
catching a set of common termination signals and sending SIGTERM to the
process group.
Diffstat (limited to 'server/man')
0 files changed, 0 insertions, 0 deletions