On Aug 30, 2022, at 11:02 AM, David A. Wheeler <[email protected]> wrote: > > We can choose *when* it runs. I'm expecting to run it daily, as that is > easily understood. We could to it 2/day (that would double the CPU costs), or > only some days (but I think daily is easier to understand).
Quick clarification: I intend to set a specific time for the website regeneration to start every day. Say, 2am Eastern Time. The regeneration would download the current versions of the databases, run to completion, and then update the website all at once. So the website update would currently occur about 6.5 hours after the regeneration begins. --- 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/BBA5A704-9A7A-4724-ABA8-F7FB70F885C8%40dwheeler.com.
