patchbot server down

[Jonathan Kliem]

https://patchbot.sagemath.org/ displays an

Internal Server Error

[Frédéric Chapoton]

yes, yes... This was my tentative of upgrading ubuntu on the server, with unexpected consequences. The server is now working again, after a struggle together with Thierry.

F

[Jonathan Kliem]

Great,

so I guess all patchbots have to be restarted (if not already done so).

[Frédéric Chapoton]

No. No need to restart any patchbot client.

F

[Jonathan Kliem]

In my case it crashed (might have been because I tried to start it during downtime).

By looking at https://patchbot.sagemath.org/machines I'm having the impression that I'm not the only one, where this happened.