Metamath website - restarted, regen to restart tomorrow

[David A. Wheeler]

The metamath website system (metamath.org and friends) required some emergency maintenance.
From an abundance of caution I rebooted the system, so it was down for a minute earlier today.
This reboot halted its daily website regeneration. Daily regeneration will start again tomorrow.

Sorry for the inconvenience. I try to make this stuff 100% invisible, so everyone
can focus on mathematics instead.

--- David A. Wheeler

[Jim Kingdon]

I'm glad you posted this notice here. By complete coincidence this was
the same day that I had merged a pull request and planned to tell
various mathematicians about it once the website generation had done
(they are the ones who had come up with the proof which I formalized in
metamath). But no worries, a day later is no problem at all. It is just
I now know to wait, rather than continuously hitting reload and trying
to remember what time of day it runs.

Thank you for all you do to keep the website running! Don't be quite so
invisible that we don't get a chance to thank you.

[Glauco]

I somehow missed this post earlier, but I wanted to take a moment to sincerely thank you, David, for all the effort and dedication you’ve put into this.