tree 474cf39877c34f6513300355da62141aad102dab
parent e3779c468e110121e9a27230fda2393b0ee5bead
parent 4b1c9cbafa2cdefbb1c09b28fd768209f9f042f4
author Treehugger Robot <treehugger-gerrit@google.com> 1490847039 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1490847041 +0000

Merge "send SIGTERM only once"