Do a sleep before reloading the website, to avoid interfering with automirror
authorMagnus Hagander <magnus@hagander.net>
Sun, 18 Dec 2011 16:05:09 +0000 (17:05 +0100)
committerMagnus Hagander <magnus@hagander.net>
Sun, 18 Dec 2011 16:05:09 +0000 (17:05 +0100)
commitdcc7c4474d3eb5de990b98542d2597cd26eb2afe
tree9406c3ecd3b1b881450e136ffaec4d2ef8f22097
parentfcfd00aaa83e2cb6fd9304a840bba85f1952a876
Do a sleep before reloading the website, to avoid interfering with automirror

This should hopefully get rid of transient errors caused by automirror hitting
the site during reload, before our script has a change to pull the local site.
tools/update/update.sh