"Marc G. Fournier" <scrappy@hub.org> writes:
> the portal itself is not mirrored, butif you go to, for instance
> UsersLounge or Downloads, it then gives you the option of which mirror to
> go to ...
Ah. But if I do either, I see
Warning: pg_exec(): supplied argument is not a valid PostgreSQL link resource in
/usr/local/www/www.postgresql.org/mirrors.php on line 28
and
Couldn't query the mirrors table!
Might just be a transient problem till DNS updates ... or not ...
regards, tom lane