diff options
| author | Josh Gao <jmgao@google.com> | 2016-03-08 15:56:33 -0800 |
|---|---|---|
| committer | Josh Gao <jmgao@google.com> | 2016-03-09 16:23:44 -0800 |
| commit | c6348f4e7fc0912919e9668ba52b2040ace8df44 (patch) | |
| tree | 4301334f1b3e45dc6f29f4c2cd9621a69600ddeb /debuggerd/x86 | |
| parent | dcdf300a1f5b0ad3fb517e53cfe09cc8eab05311 (diff) | |
debuggerd: make sure that we kill the process after dumping.
Bug: http://b/27367422
Change-Id: Icd704b1effd558904975cfc524714b51917a653f
(cherry picked from commit f0c8723bddd00bcaccef59a5a4518cd8d2412d84)
Diffstat (limited to 'debuggerd/x86')
0 files changed, 0 insertions, 0 deletions