Re: [sage-combinat-devel] Sage-combinat repo down

2012-11-15 Thread William Stein
Hi, I power cycled the machine. It stated clearly on the display that a memory cheap *must* be re-seated. I hope I can do this tomorrow morning, which will of course mean downtime. I don't know how hard it will be to figure out which chip "DIMM C3" actually is. The machine has a *lot* of memory

[sage-combinat-devel] Re: about #8386 and plugins.startup_modules

2012-11-15 Thread Frédéric Chapoton
Well, I now have made a patch for #8386 with lazy import (as much as I could), and still the bot gives a blue light. What more could I do ? Le vendredi 26 octobre 2012 16:03:05 UTC+2, Volker Braun a écrit : > > The startup_modules is a friendly reminder that you could help out > reducing start

Re: [sage-combinat-devel] Sage-combinat repo down

2012-11-15 Thread William Stein
There may be a memory issue. I'm going to the server room to physically reboot it again right now. On Thu, Nov 15, 2012 at 9:27 AM, Travis Scrimshaw wrote: > Hey, >Sorry to sound like a broken record, but I believe the sage-combinat > server is down again. What's the status on getting it bac

[sage-combinat-devel] Sage-combinat repo down

2012-11-15 Thread Travis Scrimshaw
Hey, Sorry to sound like a broken record, but I believe the sage-combinat server is down again. What's the status on getting it back up? Thanks, Travis -- You received this message because you are subscribed to the Google Groups "sage-combinat-devel" group. To view this discussion on the we

[sage-combinat-devel] Re: Sage Days in Bobo-Dioulasso debriefing; Sage in developping countries

2012-11-15 Thread Harald Schilly
On Sunday, November 11, 2012 10:00:42 AM UTC+1, Nicolas M. Thiéry wrote: > > - Having more Sage mirrors in Africa (although the network issues were > more in the last kilometer). > Hi, thank's for this detailed report and the discussion. I'm somewhat responsible for the mirror network, and