diff options
| author | tv <tv@krebsco.de> | 2026-11-12 20:01:47 +0000 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2026-11-13 03:24:22 +0100 |
| commit | 08500cfcbb91cda09c6790b916ba97c333cf2df9 (patch) | |
| tree | 5c95f4e03d146eaf909cdfe658ae00ee417761a0 /lib/types/posix.nix | |
| parent | 1ab4473cddcf8c95956b22c3e6d5c9720a62925e (diff) | |
populate: stop the ssh master also when a signal ends populate
The shell doesn't run the EXIT trap when a signal ends it, so an
interrupted deploy leaves the ssh master, for an hour, and populate's
temporary directory. Populate traps HUP, INT, and TERM and exits, which
runs the EXIT trap.
The shell runs a trap once the command it waits for ends. A signal to
the process group, like the one of an interrupt key, of a closed terminal,
or of timeout, ends that command as well. A signal to populate alone
takes effect after the step that is running.
Phases of scenarios can end populate after some seconds. An edge case
does so while a pipe source's command sleeps, and checks that neither the
ssh master nor the temporary directory remain.
Diffstat (limited to 'lib/types/posix.nix')
0 files changed, 0 insertions, 0 deletions
