File diff 7c379a284ecd → 4c8232a28452
cron/scripts/website-update.sh
Show inline comments
...
 
@@ -18,13 +18,13 @@ if ! mkdir "$LOCKDIR"; then
 
    exit $?
 
fi
 
trap 'rmdir "$LOCKDIR"' 0 INT TERM QUIT
 

	
 
exitcode=0
 
if [ "$DB_SCRIPT" -nt "$DB_FILE" ]; then
 
    sqlite3 "$DB_FILE" <"$DB_SCRIPT" || exitcode=$?
 
    sqlite3 -bail -cmd ".timeout 30000" "$DB_FILE" <"$DB_SCRIPT" || exitcode=$?
 
fi
 

	
 
# If the checkout is not on the production branch,
 
# assume maintenance is happening and stop.
 
cd "$SITEDIR"
 
if [ "$(git_rev_name HEAD)" != "$PRODUCTION_BRANCH" ]; then