chiark / gitweb /
When killing build subprocess during failure of rpush, try reaping it (so we can...
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 10 Aug 2014 19:42:58 +0000 (20:42 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 10 Aug 2014 19:42:58 +0000 (20:42 +0100)
commit8c229ab1d6afbf7008d3be50d5c33fa7a3dc88ab
tree0aedbbb7ee8294800eb55a8c25840612e010444d
parentf0e2a4873a21f9b0399686aad295938891dc5417
When killing build subprocess during failure of rpush, try reaping it (so we can report it) before killing it.
dgit