Re: New Portal in Place, DNS switched ...

"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