Clemens Buchacher <drizzd@xxxxxx> writes: > On Wed, Jan 04, 2012 at 05:26:49PM -0500, Jeff King wrote: >> >> Or is the problem the git wrapper itself, which doesn't kill its >> subprocess when it dies (which IMHO is a bug which we might want to >> fix)? In that case, couldn't we just use --pid-file to save the actual >> daemon pid, and then kill using that? > > Or like this. Doesn't work with multiple children. I have yet to > check if we have those anywhere. Hmm, don't we have them in the same process group or something, though? Can't we kill them as a whole? -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html