| commit | 763593e395419f5ea3ee229801d9173ec9d4d8a3 | [log] [tgz] |
|---|---|---|
| author | Suren Baghdasaryan <surenb@google.com> | Tue Feb 28 18:25:57 2023 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Tue Feb 28 18:25:57 2023 +0000 |
| tree | 23f173d027cf01ea4a65ee7d0db97da15f166cd2 | |
| parent | 2a2760fe0a1faaf8307b79b129ff48b821407a6c [diff] | |
| parent | 304c0f1c14a72fa20bafb4bf7b5b44e6ca1ca01c [diff] |
Merge "Kill its process group even if the given process is already dead"