Now that "us" is favored over "us2" and that there is no longer the notion that "us2" is fresher than "us", we should also "decouple" both sites by removing some hyperlinks between them (e.g., us.metamath.org currently has a link to "http://us2.metamath.org:88/mpeuni/mmrecent.html"; for "Recent proofs" near the top of the page, and a few other instances).
Benoît On Thursday, September 8, 2022 at 2:42:07 AM UTC+2 David A. Wheeler wrote: > Note: I'm automatically notified via email > if us.metamath.org ever goes down for more than 5 minutes. > That said, I might miss the alert, or perhaps the monitoring system might > fail to > notify me, so if it's down for a while it's fine to let me know. > > Hopefully us.metamath.org going down will be a rare occurrence: > * The us.metamath.org site is hosted by > Linode, who generally have a good reputation, so the virtual machine should > generally keep running. > * The web server (nginx) is generally pretty reliable, and > is auto-restarted if it crashes. > * The system automatically installs security updates, > which will hopefully update the system faster than attackers exploit known > vulnerabilities. > * I've taken some hardening steps to make the system harder to take down. > * We're simply serving static HTML pages and many server functions are > intentionally disabled, which hardens it further. > > Nothing is unbreakable, but I'm trying to increase the likelihood that > the system will just keep running. > > --- 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/bbb619fb-a8c2-410f-877f-6f6acdc62d3dn%40googlegroups.com.
