Metamath Website not loading

[Sophie]

The main page gives a 403 Forbidden Error, whilst the subpages give a 404 Not Found Error

[Jim Kingdon]

I am seeing this too (since some time yesterday). I haven't heard anything about causes or whether there is an effort underway to fix it.

[Discher, Samiro]

The Whois service at https://who.is/whois/metamath.org reports status "clientTransferProhibited https://icann.org/epp#clientTransferProhibited":

"What does it mean? - This status code tells your domain's registry to reject requests to transfer the domain from your current registrar to another."
"Should you do something? - This status indicates that it is not possible to transfer the domain name registration, which will help prevent unauthorized transfers resulting from hijacking and/or fraud. If you do want to transfer your domain, you must first contact your registrar and request that they remove this status code."

PS:
For me, trying to reach https://metamath.org results in ERR_CONNECTION_REFUSED on Opera and Chrome, and a timeout on Firefox.
Trying to reach https://us.metamath.org results in 403 Forbidden and https://cn.metamath.org (including any file) in a timeout on all browsers.
But every file on the former (e.g. https://us.metamath.org/index.html) results in a 404 Not Found.
(One can still browse the website's archive on https://web.archive.org/web/20230715225424/https://us.metamath.org/index.html.)

---

Von: meta...@googlegroups.com <meta...@googlegroups.com> im Auftrag von Jim Kingdon <kin...@panix.com>
Gesendet: Dienstag, 5. September 2023 19:17:27
An: meta...@googlegroups.com
Betreff: Re: [Metamath] Metamath Website not loading

 

I am seeing this too (since some time yesterday). I haven't heard anything about causes or whether there is an effort underway to fix it.

On September 5, 2023 3:11:31 AM PDT, Sophie <sarper...@gmail.com> wrote:

The main page gives a 403 Forbidden Error, whilst the subpages give a 404 Not Found Error

--
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 metamath+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/C8EF3D82-E55F-41BB-A779-FD5F6600F13D%40panix.com.

[Discher, Samiro]

> status "clientTransferProhibited https://icann.org/epp#clientTransferProhibited"

I just noticed that the mere status is not an error code. Most websites have much more prohibition codes.

It seems the "PS" part is more relevant - all associated file servers seem to be down.

---

Von: meta...@googlegroups.com <meta...@googlegroups.com> im Auftrag von Discher, Samiro <samiro....@rwth-aachen.de>
Gesendet: Dienstag, 5. September 2023 21:26:14
An: meta...@googlegroups.com
Betreff: AW: [Metamath] Metamath Website not loading

 

To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/4539b01f92514a05ada48a4ea7ecaa5e%40rwth-aachen.de.

[CreateSource]

Seems the main webpage is back up, but the subpages are still down.

[samiro.d...@rwth-aachen.de]

Trying to reach https://metamath.org still results in ERR_CONNECTION_REFUSED on my end (but http://metamath.org works), and https://cn.metamath.org still results in a timeout (same for http), but https://us.metamath.org/ and all its files seem to work fine now.

I noticed, however, that subdomains http://de.metamath.org/ and http://at.metamath.org/ are still active, and load an old version of the website, which becomes clear when comparing the following URLs:

https://us.metamath.org/mpeuni/mmtheorems.html (lists 442 pages at the bottom)

http://de.metamath.org/mpeuni/mmtheorems.html (lists 424 pages at the bottom)

http://at.metamath.org/mpeuni/mmtheorems.html  (lists 424 pages at the bottom)

[David A. Wheeler]

> On Sep 5, 2023, at 6:11 AM, Sophie <sarper...@gmail.com> wrote:
>
> The main page gives a 403 Forbidden Error, whilst the subpages give a 404 Not Found Error

There was a problem with the webpage generation a few days ago, which I fixed by forcing an early regeneration. The problem should now be fixed.

The long-term solution is to rewrite the regeneration script, which is currently *way* overcomplicated. I've started doing taht, but "real life" keeps getting in the way :-).

--- David A. Wheeler

[Jim Kingdon]

On 9/9/23 11:37, David A. Wheeler wrote:

> The long-term solution is to rewrite the regeneration script, which is currently *way* overcomplicated. I've started doing taht, but "real life" keeps getting in the way :-).

First of all, THANK YOU for all your efforts!

Secondly, you have done a great job of publishing the various scripts so
that we can see what is going on (and at least in theory, help too) at
https://github.com/metamath/metamath-website-seed and
https://github.com/metamath/metamath-website-scripts (one can find, for
example, a pull request with some portion of the rewrite mentioned above).

Thirdly, best wishes that your real life remains manageable.We'll figure
out the metamath stuff somehow but that stuff comes first.

[heiph...@wilsonb.com]

> Secondly, you have done a great job of publishing the various scripts so
> that we can see what is going on (and at least in theory, help too) at
> https://github.com/metamath/metamath-website-seed and
> https://github.com/metamath/metamath-website-scripts (one can find, for
> example, a pull request with some portion of the rewrite mentioned above).

Oh, nice. I was unaware of these, so thank you for re-sharing. FYI, the README
in metamath-website-scripts still mentions contacting Norm 😢

> In the hopefully unlikely event there is a problem,
> please report it to Norm Megill

[Jim Kingdon]

On September 9, 2023 3:29:19 PM PDT, heiphohmia via Metamath <meta...@googlegroups.com> wrote:
> . FYI, the README
>in metamath-website-scripts still mentions contacting Norm 😢

If this is the mention I am thinking of, I'm way ahead of you:
https://github.com/metamath/metamath-website-seed/pull/17

[heiph...@wilsonb.com]

Nice! Some bumps here and there, but mostly things are humming along smoothly,
I see.