[AWS] Configuration options bug

[Thomas Løcke]

Among the configuration options we find the Logo option. According to the manual

http://www.adacore.com/wp-content/files/auto_update/aws-docs/aws.html#Configuration-options

this option define "The name of the logo image to use in the status
page. The default is aws_logo.png."

The first issue is the default value. According to the above, the
default is "aws_logo.png", but if you look at the generated source for
the status page, the value is set to "/status-logo", which is clearly
not the same as "aws_logo.png". Reading the manual you get the
impression that the status page use the default Logo value to set the
logo.

If the "Logo" option is set in aws.ini, this happens when you start the server:

-----
raised CONSTRAINT_ERROR : (aws.ini:[n]) unrecognized option Logo
-----

So if an AWS server is sitting behind a proxy, the logo URL on the
status page is A. annoying because of the prefixed "/" (image lots of
AWS servers running under the same domain, each with it's own status
page), and B. not possible to change because of the constraint error.

This is with AWS 2.8.0w, from the latest svn checkout.

:o)
Thomas Løcke