Revision history [back]

For Pensacola it normally seems to be taking around 30 minutes.
That being said, it is dependent on system load at the time.
You would probably be safe if you wait 45 to 60 min before restarting.