| commit | 304c0f1c14a72fa20bafb4bf7b5b44e6ca1ca01c | [log] [tgz] |
|---|---|---|
| author | Jing Ji <jji@google.com> | Mon Feb 27 21:58:19 2023 -0800 |
| committer | Jing Ji <jji@google.com> | Mon Feb 27 22:01:34 2023 -0800 |
| tree | 23f173d027cf01ea4a65ee7d0db97da15f166cd2 | |
| parent | 2a2760fe0a1faaf8307b79b129ff48b821407a6c [diff] |
Kill its process group even if the given process is already dead So the child processes in the process group won't be orphaned when we decide to kill the process group of a given process but find it's already dead. Bug: 266633286 Test: atest MicrodroidDemoApp Change-Id: Ib6f45b992566f0ab5cf152463c95294a306dd736