diff options
| author | tv <tv@krebsco.de> | 2026-11-12 02:33:43 +0000 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2026-11-12 02:33:43 +0000 |
| commit | 55f41b5f04efee81b4ab48899214bc59448af325 (patch) | |
| tree | 766b55c36b2bd0dab23963eacc352327f1be2504 /lib/default.nix | |
| parent | 84444c00bf5ad06f8bca4e4cd68e6d227a8efd1e (diff) | |
populate: stop the ssh master also after failures
Populate stopped the ssh master at the end of its script, which a failure
skips. The master then stays for an hour, with its control socket gone
along with populate's temporary directory. Populate stops it on exit
now, before removing that directory.
An edge case checks that no master remains after a failing and after a
succeeding deploy.
Diffstat (limited to 'lib/default.nix')
0 files changed, 0 insertions, 0 deletions
