diff options
| author | Andre Noll <maan@tuebingen.mpg.de> | 2026-07-22 23:30:35 +0200 |
|---|---|---|
| committer | Andre Noll <maan@tuebingen.mpg.de> | 2026-08-03 20:45:45 +0200 |
| commit | d95fa35f57cb6c1579d8c816c4bf059f7237ddf7 (patch) | |
| tree | bf572fe2a9d10a25b985413e68c682967f282352 /version-gen.sh | |
| parent | d5a48537f6d40863ad0e1405bedf77a2ba1a54ae (diff) | |
The kill command sends SIGUSR1 to the pid that holds the lock of the container
(the container parent process). Without catching SIGUSR1, this signal is
fatal, so the parent dies, but the child and the init process remain.
Diffstat (limited to 'version-gen.sh')
0 files changed, 0 insertions, 0 deletions