All: I plan to briefly take down us.metamath.org, a few hours from now, to double its storage space.
As a quick background,d the us.metamath.org <http://us.metamath.org/> daily downloads the latest things, runs update programs, then updates the *served* pages & serves them. The us.metamath.org site is currently running out of storage (disk) space, which means theorems & such are not being updated. I did some cleanups that I hoped would help, but that's not been enough. That will cost me more per month, but I believe this will immediately eliminate the problem so we're back to having up-to-date theorems there. It's not clear how long it will be down once I start, but it'll be a one-time event as it resizes the partition. Thank you! --- 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/AF390425-2DA8-4FD5-8F1B-FD94A684E756%40dwheeler.com.
