[25 AM] Many docs are located there (particularly Lwt), so I think it’s somewhat troublesome?

I just noticed this too. I believe this is traditionally reported in https://github.com/ocsigen/ocsigen.org , to trigger notifications to the appropriate people.

Thanks Anton, I just opened an issue on the repo to notify them.

I almost made a post here two weeks ago asking about an outage. This will mark the 4th or 5th serious outage in the relatively short time I’ve been interested in the framework. Can anyone speak to the reason for this remarkably frequent downtime? I am curious whether it it indicates inherent proble…

I understand the inconvenience caused. The site is currently served by an INRIA-provided server. We have been recently hit by hardware failures and infrastructural changes beyond our control. We are working on transitioning to a statically-generated website (most likely hosted on GitHub). Due to t…

Thanks for the information, @vasilisp ! This confirms my suspicions and is reassuring to learn. Best of luck to the team on the transition!

The Inria sysadm team restored the access to the server yesterday afternoon. The server has moved to a different subnetwork and the DNS have been updated. Everything should work now, but another intervention is scheduled in a few days. We’ll try to limit the downtime as much as possible. Sorry f…

Ocsigen.org is down?

Ecosystem

shonfeder September 28, 2017, 5:32am 8

Thanks for the update, and for the continued work developing and maintaining such great software and detailed documentation.

2 Likes

Topic		Replies	Views
Broken links in Ocsigen doc Learning ocsigen	1	591	January 14, 2019
Ocsigen.org suffering from a bad case of the 404's Community ocsigen , js_of_ocaml	2	817	September 28, 2018
Migration: opam.ocaml.org moving providers this week Community opam , infrastructure	1	644	March 7, 2023
New programmer's guide for Ocsigen Community web , ocsigen , announce , documentation	7	1570	June 2, 2021
Ocsigen Start: How to really get up and running in 5 minutes? Learning ocsigen	44	7663	January 28, 2019

Ocsigen.org is down?

Related topics