Re: [PATCH] Fix for Bug #5807

2018-03-08 Thread Yuya Nishihara
On Thu, 8 Mar 2018 13:42:42 +0100, Sascha Nemecek wrote: > On 08/03/18 13:16, Yuya Nishihara wrote: > > On Wed, 7 Mar 2018 22:48:01 +0100, Sascha Nemecek wrote: > >> Am 2018-03-02 um 05:14 schrieb Yuya Nishihara: > >>> On Thu, 1 Mar 2018 11:06:59 +0100, Sascha Nemecek wrote: > # HG changeset

Re: [PATCH] Fix for Bug #5807

2018-03-08 Thread Sascha Nemecek
On 08/03/18 13:16, Yuya Nishihara wrote: On Wed, 7 Mar 2018 22:48:01 +0100, Sascha Nemecek wrote: Am 2018-03-02 um 05:14 schrieb Yuya Nishihara: On Thu, 1 Mar 2018 11:06:59 +0100, Sascha Nemecek wrote: # HG changeset patch # User Sascha Nemecek # Date 1519831479 -3600

Re: [PATCH] Fix for Bug #5807

2018-03-08 Thread Yuya Nishihara
On Wed, 7 Mar 2018 22:48:01 +0100, Sascha Nemecek wrote: > Am 2018-03-02 um 05:14 schrieb Yuya Nishihara: > > On Thu, 1 Mar 2018 11:06:59 +0100, Sascha Nemecek wrote: > >> # HG changeset patch > >> # User Sascha Nemecek > >> # Date 1519831479 -3600 > >> # Wed Feb 28

Re: [PATCH] Fix for Bug #5807

2018-03-07 Thread Sascha Nemecek
Am 2018-03-02 um 05:14 schrieb Yuya Nishihara: > On Thu, 1 Mar 2018 11:06:59 +0100, Sascha Nemecek wrote: >> # HG changeset patch >> # User Sascha Nemecek >> # Date 1519831479 -3600 >> # Wed Feb 28 16:24:39 2018 +0100 >> # Node ID

Re: [PATCH] Fix for Bug #5807

2018-03-01 Thread Yuya Nishihara
On Thu, 1 Mar 2018 11:06:59 +0100, Sascha Nemecek wrote: > # HG changeset patch > # User Sascha Nemecek > # Date 1519831479 -3600 > # Wed Feb 28 16:24:39 2018 +0100 > # Node ID 42ddf4ee4f91d76f19ca0c3efc4c8e4c1c6fa96c > # Parent

Re: [PATCH] Fix for Bug #5807

2018-03-01 Thread Augie Fackler
On Thu, Mar 01, 2018 at 11:06:59AM +0100, Sascha Nemecek wrote: > # HG changeset patch > # User Sascha Nemecek > # Date 1519831479 -3600 > # Wed Feb 28 16:24:39 2018 +0100 > # Node ID 42ddf4ee4f91d76f19ca0c3efc4c8e4c1c6fa96c > # Parent

[PATCH] Fix for Bug #5807

2018-03-01 Thread Sascha Nemecek
# HG changeset patch # User Sascha Nemecek # Date 1519831479 -3600 # Wed Feb 28 16:24:39 2018 +0100 # Node ID 42ddf4ee4f91d76f19ca0c3efc4c8e4c1c6fa96c # Parent 1bd132a021dd00f96604e33a8fb5306d37e56007 Don't close 'fp' (= 'ui.fout') stream to prevent 'ValueError: I/O