diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-07-16 09:55:52 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-07-16 15:54:51 +0000 |
| commit | 457b17b959f1e4ae6a1b64fae7e192f035ef20aa (patch) | |
| tree | 3c01d7fe29d418b046a44a8350c5511120443080 /docs | |
| parent | 65bedc1660e82c1da64f7be7e8212a0cc4aa531a (diff) | |
executor: fix setup of cad_pid
cad_pid must not point to a persistent runner process,
b/c it will be killed on ctrl+alt+del.
Fixes #5027
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions