mozilla/rr — pull request #893 by cgjones (2014-03-08 03:47:39+00:00)
Title: Clean up task tree with SIGKILL, properly.

Resolves #775.

Turns out SIGKILL wasn't working previously for a dumb reason: rr was targeting the *recorded* tgid with its `tgkill()` call. With that stupid bug fixed, SIGKILL works more or less as I expected.