[isabelle-dev] Problems connecting to https://isabelle.in.tum.de/repos/isabelle

Makarius makarius at sketis.net
Wed Jul 18 23:30:44 CEST 2018

On 18/07/18 22:31, Lars Hupel wrote:
>> In the past 2 days the isabelle_cronjob could not connect to
>> https://isabelle.in.tum.de/repos/isabelle -- but it appears to work from
>> most other hosts that I've tried. Maybe some odd change concerning SSL
>> certificates on the server vs. client side?
> That's indeed strange. There was an issue with the machine lxbroy10, but
> as far as I could tell, it only affected SSH access. (The issue has been
> fixed by our ops this morning.)

I've seen the lxbroy10 problem in the logs as well, but that happens
occasionally and it later works again.

So far I have no clue why a particular virtual Ubuntu 16.04 cannot
connect to https://isabelle.in.tum.de while other websites work.

(There is no need for further action right now.)


More information about the isabelle-dev mailing list