Re: [PATCH 5 of 9 v2] stdio: catch StdioError in dispatch.run and clean up appropriately

2017-04-17 Thread Kevin Bullock
> On Apr 13, 2017, at 23:29, Bryan O'Sullivan wrote: > > # HG changeset patch > # User Bryan O'Sullivan > # Date 1491947652 25200 > # Tue Apr 11 14:54:12 2017 -0700 > # Node ID 942022da49166766fe4a7967b71411879221c197 > # Parent

Re: [PATCH 5 of 9 v2] stdio: catch StdioError in dispatch.run and clean up appropriately

2017-04-15 Thread Yuya Nishihara
On Thu, 13 Apr 2017 21:29:43 -0700, Bryan O'Sullivan wrote: > # HG changeset patch > # User Bryan O'Sullivan > # Date 1491947652 25200 > # Tue Apr 11 14:54:12 2017 -0700 > # Node ID 942022da49166766fe4a7967b71411879221c197 > # Parent a5aa1dfd9afed15c0cd762c4a72e5e0082ac074c >

[PATCH 5 of 9 v2] stdio: catch StdioError in dispatch.run and clean up appropriately

2017-04-13 Thread Bryan O'Sullivan
# HG changeset patch # User Bryan O'Sullivan # Date 1491947652 25200 # Tue Apr 11 14:54:12 2017 -0700 # Node ID 942022da49166766fe4a7967b71411879221c197 # Parent a5aa1dfd9afed15c0cd762c4a72e5e0082ac074c stdio: catch StdioError in dispatch.run and clean up appropriately We