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

2017-04-12 Thread Yuya Nishihara
On Tue, 11 Apr 2017 10:54:00 -0700, Bryan O'Sullivan wrote: > On Tue, Apr 11, 2017 at 6:54 AM, Yuya Nishihara wrote: > > > +if util.safehasattr(req.ui, 'ferr'): > > > +if err is not None and err.errno != errno.EPIPE: > > > +req.ui.ferr.write('abort: %s\n' % err.strerror) >

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

2017-04-11 Thread Bryan O'Sullivan
On Tue, Apr 11, 2017 at 6:54 AM, Yuya Nishihara wrote: > 255 would be better, too. > Done. > > +if util.safehasattr(req.ui, 'ferr'): > > +if err is not None and err.errno != errno.EPIPE: > > +req.ui.ferr.write('abort: %s\n' % err.strerror) > > +req.ui.ferr.close

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

2017-04-11 Thread Yuya Nishihara
On Mon, 10 Apr 2017 11:51:35 -0700, Bryan O'Sullivan wrote: > # HG changeset patch > # User Bryan O'Sullivan > # Date 1490804813 25200 > # Wed Mar 29 09:26:53 2017 -0700 > # Node ID 024364c1aa2e8b247d6156208394ebf01913f85a > # Parent 935d0e5af9001f3a0730e7c477dc14ae5baf4799 > stdio: catch St

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

2017-04-10 Thread Bryan O'Sullivan
# HG changeset patch # User Bryan O'Sullivan # Date 1490804813 25200 # Wed Mar 29 09:26:53 2017 -0700 # Node ID 024364c1aa2e8b247d6156208394ebf01913f85a # Parent 935d0e5af9001f3a0730e7c477dc14ae5baf4799 stdio: catch StdioError in dispatch.run and clean up appropriately We attempt to report