Re: gnatcol json vs network read

[Stephen Leake <stephen_leake@stephe-leake.org>]

On Friday, December 14, 2018 at 1:58:05 PM UTC-8, Per Sandberg wrote:
> Well this all depends on the definition of Network_String'Input and 
> Network_String'Output.
> 
> Will Network_String'Output always send the whole string in such a format 
> that Network_String'Input is able to reconstruct it regardless of 
> fragmentation on the transport.

Sigh, you are right. I use this for 'Input:

      Str      : Stream_Element_Array (1 .. 8);
      Str_Last : Stream_Element_Offset;
   begin
      Read (Stream.all, Str, Str_Last);
      if Str_Last < Str'Last then
         raise Ada.IO_Exceptions.End_Error;
      end if;

So 'Input either returns all the bytes sent, or raises End_Error.

Thanks for the nudge :).

-- Stephe