> > On 16 Nov 2017, at 10:46, Frediano Ziglio wrote:
> >
> >>
> >> This is currently unlikely to happen since we communicate over a pipe
> >> and the pipe buffer is sufficiently large to avoid splitting the
> >> message. But for completeness, we should handle this scenario.
> On 16 Nov 2017, at 10:46, Frediano Ziglio wrote:
>
>>
>> This is currently unlikely to happen since we communicate over a pipe
>> and the pipe buffer is sufficiently large to avoid splitting the
>> message. But for completeness, we should handle this scenario.
>>
>>
>
> This is currently unlikely to happen since we communicate over a pipe
> and the pipe buffer is sufficiently large to avoid splitting the
> message. But for completeness, we should handle this scenario.
>
> Signed-off-by: Jonathon Jongsma
> ---
> Since v1:
> - updates