tree 9615c8f9d870bacf5dc980a6bd9447f0cb1ab397
parent f85ffd1a0b3b565b95a90c7ddb12fcfa18ed53a5
author Jack He <siyuanh@google.com> 1586651227 -0700
committer Jack He <siyuanh@google.com> 1586651852 -0700

GdCert: Kill root-canal process if SIGINT failed

* Wait for 10 seconds after sending SIGINT to root-canal
* If that doesn't work, send SIGKILL and wait for 10 seconds

Bug: 153274925
Bug: 153275907
Test: gd/cert/run --host
Change-Id: Id62bc95fe30a6b3a6b552b479d85e9a4ed755978