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 | |
| 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.
| -rw-r--r-- | util.c | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1112,6 +1112,8 @@ void init_signal_handling(void) die_errno("sigaction"); if (sigaction(SIGCHLD, &act, NULL) < 0) die_errno("sigaction"); + if (sigaction(SIGUSR1, &act, NULL) < 0) + die_errno("sigaction"); } int next_signal(void) |
