Open ulysses4ever opened 5 years ago
It does this for a few minutes every day while it updates itself. I should probably move this to the dead time zone of the world (after US goes to sleep), and reduce the gap.
Good to know, thanks!
I optimised the log parsing, so the gap itself should be 5x less. I also moved the restart to 3am UK time. The original motivation was that if it upgraded and keeled over, I was more likely to be around about 8pm. That has never happened, and Hoogle logs show 3am GMT as the quietest period, so scheduling for then.
I just hit this. I don't know anything about the hoogle backend, but could this be worked around by keeping the old version up until the new one is ready? I'd be interested in helping if there's a way to work around it.
Yes, living on the East Coast and doing some late night codings occasionally, I regularly ran into this too, unfortunately. Keeping the old version until the actual switch is possible momentarily would be great.
Current the process is:
The two options are:
I'd accept patches for each of them - I certainly agree that having a hiccup every day isn't good.
Oh, this appears to be some local network quirk. Sorry for the noise.