commit | a46f1038f8e6f0b4c7974a01dbb4757253a768fd | [log] [tgz] |
---|---|---|
author | setrofim <setrofim@gmail.com> | Tue Sep 12 15:41:18 2017 +0100 |
committer | GitHub <noreply@github.com> | Tue Sep 12 15:41:18 2017 +0100 |
tree | 499bb78e11c34ca1b82112b62d1513714cdaaa02 | |
parent | 0e9221f58e8d5940babdf4df3bef0ae072c1f014 [diff] | |
parent | 4de973483e155a3cc51d184218bca399ab5460b0 [diff] |
Merge pull request #167 from valschneider/kill-children host: Add kill_children utility method