The system is back up. It's been down for about 8 hours (just after I was working on the webpage and went to sleep).
We just upgraded everything and switched to a new hosting service for the servers. That has reduced the downtime already (except for a few of their own outages). I can't see anything that caused this problem, but we are definitely more stable in general. Tom On Fri, Aug 19, 2011 at 7:41 AM, Kyle Zhou <[email protected]> wrote: > Second. I have not been able to connect to gnuradio.org for a whole day. > Actually, it seems to me that the hosting server has quite a high outage. > This happened many times in the past. > Should we consider mirror it or at least the git somewhere else? say github? > On 19/08/2011, at 8:54 PM, Suleja, Lukasz wrote: > > Hi, > > Is there a problem with gnuradio.org server? > I don’t appear to be able to git the gnuradio code; the uhd server works > just fine. > > Regards, > Lukasz > > -- > > Queen's Award for Enterprise and Innovation 2011 > > Roke Manor Research Ltd > Romsey, Hampshire, SO51 0ZN, United Kingdom > http://www.roke.co.uk > > Part of the Chemring Group > Registered in England & Wales at: > Chemring Group PLC, Chemring House, 1500 Parkway, > Whiteley, Fareham, Hampshire PO15 7AF, England. > Registered No: 267550 > > ________________________________ > > The information contained in this e-mail and any attachments is > proprietary to Roke Manor Research Ltd and must not be passed to any > third party without permission. This communication is for information > only and shall not create or change any contractual relationship. > > ________________________________ > > Please consider the environment before printing this email > > _______________________________________________ > Discuss-gnuradio mailing list > [email protected] > https://lists.gnu.org/mailman/listinfo/discuss-gnuradio > > > _______________________________________________ > Discuss-gnuradio mailing list > [email protected] > https://lists.gnu.org/mailman/listinfo/discuss-gnuradio > > _______________________________________________ Discuss-gnuradio mailing list [email protected] https://lists.gnu.org/mailman/listinfo/discuss-gnuradio
