Re: [sage-devel] patchbot server refuses to connect

2016-08-09 Thread William Stein
OK, leaving it as -- not rebooting. On Tue, Aug 9, 2016 at 12:51 AM, Frédéric Chapoton wrote: > Please do not reboot. We are currently doing an rsync for the database, > and we decided to turn the server off for a moment. > > Thierry Monteil is doing the job. Maybe he can tell us about the stat

Re: [sage-devel] patchbot server refuses to connect

2016-08-09 Thread Frédéric Chapoton
Please do not reboot. We are currently doing an rsync for the database, and we decided to turn the server off for a moment. Thierry Monteil is doing the job. Maybe he can tell us about the status ? Le mardi 9 août 2016 08:18:25 UTC+2, William a écrit : > > On Mon, Aug 8, 2016 at 10:11 PM, Ralf

Re: [sage-devel] patchbot server refuses to connect

2016-08-08 Thread Ralf Stephan
Thanks. I always try to help with such things but mostly lose because I'm lacking server admin skills. On Tue, Aug 9, 2016 at 8:18 AM William Stein wrote: > On Mon, Aug 8, 2016 at 10:11 PM, Ralf Stephan wrote: > > It is pingable however. > > I can try to reboot the computer again, maybe. As be

Re: [sage-devel] patchbot server refuses to connect

2016-08-08 Thread William Stein
On Mon, Aug 8, 2016 at 10:11 PM, Ralf Stephan wrote: > It is pingable however. I can try to reboot the computer again, maybe. As before, I'm not even sure which computer it's hosted on, and frankly I don't even want to touch it unless somebody will very clearly volunteer to immediately migrate i

[sage-devel] patchbot server refuses to connect

2016-08-08 Thread Ralf Stephan
It is pingable however. -- 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@go