On Friday, February 14, 2020 at 8:30:51 PM UTC-5, David A. Wheeler wrote: > I've already restarted my assigned jobs: > scripts/jobs 112 125-132 144-151
You didn't have to restart 144-151. Jobs 133 and above are not affected. If any of 144-151 had already finished, do you have the logs for them? The previous log has a ~1 filename suffix so it might be salvageable - if the last line says the log closed, then it will be fine. I'm eager to fill in my estimate chart. :) For everyone, I updated the schedule: https://groups.google.com/d/msg/metamath/1wWqUQ5pJp8/odjUQM6nBAAJ and the time estimate chart: https://groups.google.com/d/msg/metamath/1wWqUQ5pJp8/WmovUJiKBAAJ Norm -- 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 metamath+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/ae86404b-b453-4fb8-9616-7e9c387b6174%40googlegroups.com.
