An alternate email that I normally don't check is [email protected]. On Wednesday, October 23, 2019 at 5:30:08 PM UTC-4, Norman Megill wrote: > > David has alerted me to this. > > I opened a ticket with the DNS provider. I have no idea what is > happening. I checked the DNS setup form on their site and everything looks > fine. The service is provided by domainmonger.com, and metamath.org is > paid for through 02/04/2020. > > The last change I made was yesterday morning at 8am when I updated the IP > address of cn.metamath.org with no other changes. I believe it was > working fine yesterday, could some one confirm? When is the last time that > anyone has successfully accessed the site? > > I will post here when they respond. > > P.S. It looks like my email is also not working; I have received nothing > since 9AM this morning. It is forwarded to me from MIT via the > us.metamath.org server. > > Norm > > > On Wednesday, October 23, 2019 at 4:02:10 PM UTC-4, Alexander van der > Vekens wrote: >> >> http://us2.metamath.org is also not working. >> May this also be the reason why the Travis build for my pull request >> failed? >> >> On Wednesday, October 23, 2019 at 9:08:22 PM UTC+2, David A. Wheeler >> wrote: >>> >>> On Wed, 23 Oct 2019 11:23:56 -0700 (PDT), Richard Penner < >>> [email protected]> wrote: >>> > It seems like there was an event which resulting in DNS failures with >>> the >>> > metamath.org domain, with us2.metamath.org being directed to some New >>> York >>> > cable subscriber and other addresses failing outright. >>> >>> Yes. I can't reach us.metamath.org or www.metamath.org. >>> >>> Norm: Do you need help? >>> >>> --- David A. Wheeler >>> >>
-- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/cfe1f542-8e6f-4279-ac9a-b01c0e6bcf44%40googlegroups.com.
