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.
Am Samstag, 6. Juli 2019 07:46:41 UTC+2 schrieb Frédéric Chapoton:
>
> No. No need
No. No need to restart any patchbot client.
F
Le samedi 6 juillet 2019 07:17:59 UTC+2, Jonathan Kliem a écrit :
>
> Great,
>
> so I guess all patchbots have to be restarted (if not already done so).
>
--
You received this message because you are subscribed to the Google Groups
"sage-devel" gro
Great,
so I guess all patchbots have to be restarted (if not already done so).
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups
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
Le vendredi 5 juillet 2019 15:49:52 UTC+2, Jonathan Kliem a écrit :
>
> https://patchbot.sagemath.org/ displays an
>
> In
I'm sorry you spent any time on it... Like I said, I was working on
it :) Fixed now.
On Fri, Oct 13, 2017 at 11:04 AM, Frédéric Chapoton
wrote:
> I have failed to find the issue..
>
>
> Le vendredi 13 octobre 2017 10:29:03 UTC+2, Erik Bray a écrit :
>>
>> https://patchbot.sagemath.org/ gives an
I have failed to find the issue..
Le vendredi 13 octobre 2017 10:29:03 UTC+2, Erik Bray a écrit :
>
> https://patchbot.sagemath.org/ gives an Internal Server Error right
> now. Some pages work, such as the build pages for individual tickets,
> but others are just screaming.
>
> I'll look into
