The Coq mailing list

["gallais @ ensl.org" <guillaume.allais AT ens-lyon.org>]

That's weird.

I had the same kind of problems this morning then I got a Drupal error
message about issues with the database connection or whatever. A
couple of hours after that everything was up and running (when you
sent your first email, it was still perfectly fine for me) and now I
get ~50% of failure.

--
gallais


On 24 September 2012 20:06, Daniel de Rauglaudre
<daniel.de_rauglaudre AT inria.fr>
 wrote:
> Hi,
>
> On Mon, Sep 24, 2012 at 08:26:03PM +0200, Valentin ROBERT wrote:
>
>> It's been down for a few days (since Friday I think), and is
>> undergoing maintenance it seems (there was a message on the website
>> before downtime).
>
> I don't think so. There is an error message, but after some tenths of
> seconds, meaning that the browser can't access to it. The error message
> likely comes from the browser, not from the site.
>
>> It would be good to have some static mirror in such situations though.
>
> Indeed.
>
> --
> Daniel de Rauglaudre
> http://pauillac.inria.fr/~ddr/