[AWS] Full URL

[Pascal Obry]

Maciej,

> The following code:
> 
>        URL : constant String := AWS.URL.URL (AWS.Status.URI (Request));
> 
> does not seem to give me the full URL string, only the URI part.

Right. The parameters are not part of the URI. Not that for a POST
request there is no parameters passed into the URI anyway.

> It looks like the version of AWS.Status.URI that returns AWS.URL.Object 
> truncates the rest of the information, just like the version returning 
> String. This is actually documented, but the fact that the URL object is 
> involved was misleading.

This has been changed recently. Now an URL.Object does contains all
information (URI, parameters, protocol...).

> In what way can I extract the full URL as was used for the client request?

Using AWS.Parameters.URI_Format and AWS.Status.Parameters. Or using the
new implementation for AWS.URL.Object (not in GPL 2007).

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|              http://www.obry.net
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver wwwkeys.pgp.net --recv-key C1082595