diff options
| author | edef <edef@unfathomable.blue> | 2022-07-31 00:57:43 +0000 |
|---|---|---|
| committer | edef <edef@unfathomable.blue> | 2022-07-31 00:57:43 +0000 |
| commit | 39945afb70eb59ef348c512e8d3447027d13929c (patch) | |
| tree | 9c118187dc993da285cf9e25366d9c3919d0159c /third_party | |
| parent | 71d008beb8557eb30d09d4d4ce19f457957d578d (diff) | |
ripple/minitrace: use kill(2) over PTRACE_KILL
PTRACE_KILL is deprecated, and the manpage recommends using kill(pid, SIGKILL) instead. Change-Id: I8eda5a7add224838c2b01ef8b6999560bae446eb
Diffstat (limited to 'third_party')
0 files changed, 0 insertions, 0 deletions