IMHO thats not a big deal, some orgs are experimenting with permanently running datacenters at 90+F...
The best course of action is probably to wait and get the machines back up. Then slowly move the infrastructure out of UW. On Monday, June 6, 2016 at 11:27:39 AM UTC-4, Dima Pasechnik wrote: > > On Monday, June 6, 2016 at 3:57:41 PM UTC+1, William wrote: >> >> Hello, >> >> The sysadmin just explained what happened -- namely the room has been >> cooking all weekend due to an AC failure: This means that everything >> might -- or might not -- come back in the next few days. There is no >> way to know the extent of the damage, if any. >> > > OK, +37 degrees Celsius does not sound too bad. > Could you perhaps ask when they did the shutdown? > We know, roughly, when the last trac comment went through. > Perhaps some nodes shut themselves down, due to overheating? > > >> --- >> "The PDL C28 server room AC unit died some point this weekend. The >> ambient temperature in the room was about 100 degrees F this morning. >> >> I've physically unplugged power to all the Math and Sage machines for >> the time being until the HVAC repair is done. >> >> Hopefully there isn't too much hardware damage from the heat. >> >> Steve Sheetz >> Manager, Dept Computing >> >> University of Washington >> Dept of Mathematics >> Padelford Hall, C-32 >> Box 354350" >> --- >> >> On Mon, Jun 6, 2016 at 10:47 AM, Dima Pasechnik <dim...@gmail.com> >> wrote: >> > On Monday, June 6, 2016 at 3:30:55 PM UTC+1, Frédéric Chapoton wrote: >> >> >> >> I do not think that the patchbots clients have a copy of the full git >> >> repo. They only pull branches. But they have the branch for 7.3.beta3, >> at >> >> least. >> > >> > this one is just here: https://github.com/sagemath/sage/tree/develop >> > >> > -- >> > 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+...@googlegroups.com. >> > To post to this group, send email to sage-...@googlegroups.com. >> > Visit this group at https://groups.google.com/group/sage-devel. >> > For more options, visit https://groups.google.com/d/optout. >> >> >> >> -- >> William (http://wstein.org) >> > -- 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.