Tom,
Am I correct in assuming you are running GR.org on AWS? I have noticed
in my own use of AWS that they have occasional scheduled reboots of
their hardware for upgrades, which naturally causes a reboot of your
instance. These scheduled events are listed in the AWS console page.
A scheduled maintenance reboot may have caused the short outage Marcus saw.
On 02/18/2012 01:22 PM, Marcus D. Leech wrote:
On 02/18/2012 01:01 PM, John Coppens wrote:
On Sat, 18 Feb 2012 12:09:46 -0500
Tom Rondeau<t...@trondeau.com> wrote:
It's working for me. No reset required. Try again.
If redirecting is not enabled in the browser, it may not get to
gnuradio.org. It seems www.gnuradio.org goes there through redirection.
John
_______________________________________________
Discuss-gnuradio mailing list
Discuss-gnuradio@gnu.org
https://lists.gnu.org/mailman/listinfo/discuss-gnuradio
It seems to have been a transient, because 20 minutes after I posted,
it was back again.
My panic was clearly premature.
_______________________________________________
Discuss-gnuradio mailing list
Discuss-gnuradio@gnu.org
https://lists.gnu.org/mailman/listinfo/discuss-gnuradio