Tanmoy Sarkar 9c4d81726d feat(companion): Add parent-death cleanup for manager and companions
Stop orphaned processes from lingering when their parent dies.

set_parent_death_signal arms Linux prctl(PR_SET_PDEATHSIG) so a process is
signalled the moment its parent exits, returning False off Linux so callers
fall back to polling getppid.

The manager records its parent pid, arms a SIGTERM parent-death signal, and
checks getppid each tick: if the arbiter dies, the manager stops its companions
and exits instead of running on under a dead arbiter. Each companion arms the
same parent-death signal and rechecks getppid right after the fork, exiting if
the manager already died before the signal was armed.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
2026-06-09 22:56:21 +05:30
..
2014-03-31 11:14:45 -07:00
2024-08-10 22:34:28 +02:00
2024-08-10 22:34:28 +02:00
2023-05-11 17:45:57 +03:00
2012-10-03 05:04:07 +05:45
2024-07-31 04:18:20 +02:00

Generate Documentation
======================

Requirements
------------

To generate documentation you need to install:

 - Python >= 3.7
 - Sphinx (https://www.sphinx-doc.org/)


Generate html
-------------
::

    $ make html

The command generates html document inside ``build/html`` dir.