#!/bin/sh # This script synchronizes first, the generated frontend and then # retrieves submissions cd `dirname "$0"` source config.sh if [ "$UID" = "0" ] then SCRIPT=`pwd`/`basename "$0"` su -c "sh $SCRIPT $@" "$SYNCHRO_USER" exit $? fi OPTS= if [ "$1" = "delete" ] then OPTS="$OPTS --delete" fi # Synchronize HTML pages rsync -e ssh -av $OPTS out/errors "$FRONTEND_HOSTNAME":~/ rsync -e ssh -av $OPTS out/htdocs "$FRONTEND_HOSTNAME":~/ rsync -e ssh -av $OPTS out/teams "$FRONTEND_HOSTNAME":~/ rsync -e ssh -avL $OPTS files "$FRONTEND_HOSTNAME":~/ rsync -e ssh -av $OPTS nginx.conf submission.php misc/server.crt misc/server.key misc/pki/cacert.crt misc/pki/crl.pem "$FRONTEND_HOSTNAME":~/ # Synchronize submissions rsync -e ssh -av "$FRONTEND_HOSTNAME":~/submission/ submission/ ssh "$FRONTEND_HOSTNAME" "rm -fv ~/submission/*" exit $?