mirror of
https://github.com/postgres/pgweb.git
synced 2025-08-13 13:12:42 +00:00
209e19fa86
Sometimes we get a http 503 error from lighttpd if we hit the system right after reload - make sure that we hit these errors from the update script instead of leaking it to the end user or our mirror script.
50 lines
1.4 KiB
Bash
Executable File
50 lines
1.4 KiB
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
#
|
|
# The idea:
|
|
# * git-pull the repository
|
|
# * if the repository has changed, kill off the django servers causing the app to restart
|
|
#
|
|
# Would be even better if we could touch it only after actual code files have changed,
|
|
# but this will do fine for now.
|
|
|
|
# Get to our root directory
|
|
UPDDIR=$(dirname $0)
|
|
cd $UPDDIR
|
|
|
|
# Pull changes from the it repo
|
|
git pull -q >/dev/null 2>&1
|
|
|
|
# Figure out if something changed
|
|
git log -n1 --pretty=oneline > /tmp/pgweb.update
|
|
if [ -f "lastupdate" ]; then
|
|
cmp lastupdate /tmp/pgweb.update >/dev/null 2>&1
|
|
if [ "$?" == "0" ]; then
|
|
# No change, so don't reload
|
|
rm -f /tmp/pgweb.update
|
|
exit
|
|
fi
|
|
fi
|
|
|
|
# Cause reload
|
|
#echo Reloading website due to updates
|
|
pkill -f pgweb/manage.py
|
|
|
|
# Update the file listing the latest update
|
|
mv -f /tmp/pgweb.update lastupdate
|
|
|
|
# Hit the web app a couple of times, since in some cases lighttpd
|
|
# generates a 503 error on the first one or two hits. Make sure
|
|
# we eat these up, instead of the mirror checker or even worse,
|
|
# an end user.
|
|
wget --header "Host: www.postgresql.org" http://localhost/web_sync_timestamp -O /dev/null -q
|
|
sleep 1
|
|
wget --header "Host: www.postgresql.org" http://localhost/web_sync_timestamp -O /dev/null -q
|
|
|
|
|
|
# Unconditionally update the static content (we don't need to reload
|
|
# lighttpd for htis, so there is no need to actually check for last
|
|
# updates or anything like that)
|
|
cd $UPDDIR/../../../pgweb-static
|
|
git pull -q >/dev/null 2>&1
|