Spanish mirror (Was: Pending tasks)

[Noel D. Torres Taño]

> Do you think we'd better use <http://gpg.rolamasao.org/gpg> to avoid any
> problem (I can put one URL only in the mirror page)?  What happens if an
> HTTP/1.0 is sent to <http://gpg.rolamasao.org/>?

If an HTTP/1.0 is sent to http://gpg.rolamasao.org/ the server will
answer with the standard rolamasao home page the same as if the request
were sent to http://www.rolamasao.org . So http://gpg.rolamasao.org/gpg
in HTTP/1.0 is exactly the same than http://www.rolamasao.org/gpg .

I'll put soon a link in the rolamasao page pointing to the gpg
directory.

Keep in mind that almost all modern browsers use HTTP/1.1 or at least
the Host: extension in HTTP/1.0 . So I think the better way is putting
http://gpg.rolamasao.org/ as the mirror address.

Noel