The images have been restored on the live site, and the corresponding changes to the repos are metamath-website-seed@39991733 and symbols@85edf428.
On Wed, Oct 25, 2023 at 12:03 PM Discher, Samiro < [email protected]> wrote: > I also do not see the breakdown image. Maybe you didn't clear browser > cache? > ------------------------------ > *Von:* [email protected] <[email protected]> im Auftrag > von BTernary Tau <[email protected]> > *Gesendet:* Mittwoch, 25. Oktober 2023 17:58:02 > *An:* Metamath > *Betreff:* Re: [Metamath] Website is down > > I am able to see the breakdown of a proof step image, as well as the > circled orange number icons. > > On Wednesday, October 25, 2023 at 11:35:23 AM UTC-4 Metamath wrote: > >> It seems there are problems with pictures. For example in >> https://us.metamath.org/mpeuni/mmset.html scrolling down a little there >> is the "Breakdown of a proof step. Credit: N. Megill 2003. Public Domain." >> that doesn't show. >> >> Il giorno mercoledì 25 ottobre 2023 alle 16:52:47 UTC+2 Metamath ha >> scritto: >> >>> Clicking around now...... >>> >>> * https://us.metamath.org/ileuni/mmil.html is up to date (missing >>> theorems list goes to dvcn) for the first time in over a year. >>> https://us.metamath.org/ilegif/mmil.html too. >>> >>> * https://us.metamath.org/mpeuni/mmset.html and >>> https://us.metamath.org/mpegif/mmset.html include the [Bauer] reference >>> (another litmus test for up to dateness). >>> >>> * https://us.metamath.org/ileuni/mmrecent.html is up to date (shows a >>> revision from 22-Oct-2023) >>> >>> So looks good! >>> >>> Thanks for all the hard work on this. >>> On 10/25/23 00:33, Mario Carneiro wrote: >>> >>> Sorry about that, I chose the wrong time to test the new website build >>> process and the cron job started running in the middle of it, and >>> unfortunately killing the cron job just made it copy an empty website to >>> the live site. Things should be back up now. >>> >>> On that note, what is now up is the new website build, so everyone >>> please try clicking around and make sure everything seems to be working >>> (not just theorem pages but also links to the downloads and other stuff on >>> the homepage, the GIF and UNI directories for all five supported databases, >>> and the symbols and mmsolitaire pages). >>> >>> On Wed, Oct 25, 2023 at 3:28 AM Rohan Ridenour <[email protected]> >>> wrote: >>> >>>> https://us.metamath.org/ 403s, other pages 404. >>>> -- >>>> 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/bddc8891-7fae-467b-b794-ca84f2681fc8n%40googlegroups.com >>>> <https://groups.google.com/d/msgid/metamath/bddc8891-7fae-467b-b794-ca84f2681fc8n%40googlegroups.com?utm_medium=email&utm_source=footer> >>>> . >>>> >>> -- >>> 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/CAFXXJSvt7E89qnTKXTppUv1Awsy5SCB-YiBbDBHYfn-hGr%2B7HQ%40mail.gmail.com >>> <https://groups.google.com/d/msgid/metamath/CAFXXJSvt7E89qnTKXTppUv1Awsy5SCB-YiBbDBHYfn-hGr%2B7HQ%40mail.gmail.com?utm_medium=email&utm_source=footer> >>> . >>> >>> -- > 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/7eaff53f-cf22-4a6e-bdac-e98b9390b27cn%40googlegroups.com > <https://groups.google.com/d/msgid/metamath/7eaff53f-cf22-4a6e-bdac-e98b9390b27cn%40googlegroups.com?utm_medium=email&utm_source=footer> > . > > -- > 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/48d84c2f3b32419ab514a92cf22bdb07%40rwth-aachen.de > <https://groups.google.com/d/msgid/metamath/48d84c2f3b32419ab514a92cf22bdb07%40rwth-aachen.de?utm_medium=email&utm_source=footer> > . > -- 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/CAFXXJSsdCrDCShVG5knyqGwoQrT5t%2Bj4fCQJnf7Y_sda-5uCBQ%40mail.gmail.com.
