mirror of
https://github.com/postgres/pgweb.git
synced 2025-08-13 13:12:42 +00:00
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.
This commit is contained in:
@ -12,6 +12,10 @@
|
|||||||
UPDDIR=$(dirname $0)
|
UPDDIR=$(dirname $0)
|
||||||
cd $UPDDIR
|
cd $UPDDIR
|
||||||
|
|
||||||
|
# Sleep 20 seconds to avoid interfering with the automirror scripts that
|
||||||
|
# also run exactly on the minute.
|
||||||
|
sleep 20
|
||||||
|
|
||||||
# Pull changes from the it repo
|
# Pull changes from the it repo
|
||||||
git pull -q >/dev/null 2>&1
|
git pull -q >/dev/null 2>&1
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user