tree c659c01504b5221ad841ef794dd60110a9f24857
parent dfc2459c7c93954fe11071546924ea465c573bba
parent 0310907dcadf908b68988050a92acfec130639a0
author Jing Ji <jji@google.com> 1575675672 +0000
committer Android (Google) Code Review <android-gerrit@google.com> 1575675672 +0000

Merge "Proper way to ensure process dies before restart it"