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/e63cbf69-386b-4551-8656-719c77a115ff%40googlegroups.com.
