Expect to take down us.metamath.org for a brief time to increase its storage space

[David A. Wheeler]

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

[David A. Wheeler]

> On Jul 24, 2023, at 5:25 PM, David A. Wheeler <dwhe...@dwheeler.com> wrote:
>
> All:
>
> I plan to briefly take down us.metamath.org, a few hours from now, to
> double its storage space.

New plan: I plan to do this tonight instead.

--- David A. Wheeler

[David A. Wheeler]

FYI: I've doubled the storage of us.metamath.org <http://us.metamath.org/> (it was only down for a minute to resize things).

That *should* eliminate problems updating the final published results on the website.
I guess we'll find out tomorrow!

--- David A. Wheeler

[David A. Wheeler]

It *appears* to me that us.metamath.org <http://us.metamath.org/> is now working properly again,
now that it has more storage space.

Please let me know of any problems with the site.

--- David A. Wheeler