hecticjeff/shoreman — pull request #32 by singpolyma (2014-12-08 15:34:11+00:00)
Title: Kill process tree

This makes sure all children-of-children get killed, and not just the
toplevels.