[sage-devel] Re: patchbot server down

['Jonathan Kliem' via sage-devel]

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 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" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/d246455b-9cb3-4466-a75a-3b17c0bf73e1%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[sage-devel] Re: patchbot server down

[Frédéric Chapoton]

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" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/d38fd6cf-0787-43b7-9a3c-122c23e5c457%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[sage-devel] Re: patchbot server down

['Jonathan Kliem' via sage-devel]

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.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/bb4b5adb-cdeb-4e1c-9afc-5c391859faa0%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[sage-devel] Re: patchbot server down

[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

Le vendredi 5 juillet 2019 15:49:52 UTC+2, Jonathan Kliem a écrit :
>
> https://patchbot.sagemath.org/ displays an
>
> Internal Server Error
>
>

-- 
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.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/2e752ed8-6b7e-48c8-83cd-e873bb776d50%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] Re: patchbot server down

[Erik Bray]

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 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 it.
>
> --
> 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.com.
> To post to this group, send email to sage-devel@googlegroups.com.
> Visit this group at https://groups.google.com/group/sage-devel.
> For more options, visit https://groups.google.com/d/optout.

-- 
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.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

[sage-devel] Re: patchbot server down

[Frédéric Chapoton]

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 it. 
>

-- 
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.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.