Downloading of large file with AWS

[landgraf <pavel.y.zhukov@gmail.com>]

I'm looking for a way how to download file using GET request and monitor the progress.
The problem is length of the file can be obtained by separate request only (browser/wget don't know length of the file because of this).
I'm pretty sure I did this last year but lost the code.

The process looked like:

procedure Download (URL : String; Length : Natural, Connection : in out AWS.Client.HTTP_Connection) is
  buffer : Stream_Element_Array (1 .. Size);
  Last : Stream_Element_Offset;
  Left : Natural;
  --  task to monitor the progress omitted
begin

  loop
     -- Procedure to start the process ??
     exit when Left = 0;
      AWS.Client.Forgotten_Procedure_to_Read_Chunk (Connection, Buffer, Last); -- !! I forgot how to do it. Probably it can be done with AWS.Client.Read(_Some) but no success so far
      Left := Left - Natural (Last);
      -- append buffer to file
   end loop;
end Download;

Any AWS experts (Pascal?) here?