Update the static files as well, not just the dynamic site

diff --git a/tools/update/update.sh b/tools/update/update.sh
index 12d846e70245723bff329b1a7910798db18579eb..88e0f7e23acdbb7178383fba258a29ffbd9e4ea9 100755 (executable)
--- a/tools/update/update.sh
+++ b/tools/update/update.sh
@@ -33,3 +33,8 @@ pkill -f pgweb/manage.py
 # Update the file listing the latest update
 mv -f /tmp/pgweb.update lastupdate
 
+# 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