synchro.sh: sync files in a separate thread
This commit is contained in:
parent
aba311aebd
commit
e7c1812cb0
@ -10,16 +10,20 @@ SSH_OPTS="/usr/bin/ssh -p 22 -i ~/.ssh/id_ed25519 -o ControlMaster=auto -o Contr
|
||||
|
||||
cd "${BASEDIR}"
|
||||
|
||||
# Synchronize CA
|
||||
rsync -e "$SSH_OPTS" -av --delete PKI/shared "${FRONTEND_HOSTNAME}":"${BASEDIR}"/PKI
|
||||
|
||||
I=0
|
||||
|
||||
touch /tmp/stop
|
||||
|
||||
# Synchronize static files in a separate loop (to avoid submissions delays during file synchronization)
|
||||
while ! [ -f SETTINGS/stop ] || [ /tmp/stop -nt SETTINGS/stop ]
|
||||
do
|
||||
rsync -e "$SSH_OPTS" -av --delete FILES "${FRONTEND_HOSTNAME}":"${BASEDIR}"
|
||||
|
||||
sleep 5
|
||||
done &
|
||||
|
||||
while ! [ -f SETTINGS/stop ] || [ /tmp/stop -nt SETTINGS/stop ]
|
||||
do
|
||||
# Synchronize static files pages
|
||||
rsync -e "$SSH_OPTS" -av --delete TEAMS SETTINGS FILES "${FRONTEND_HOSTNAME}":"${BASEDIR}"
|
||||
rsync -e "$SSH_OPTS" -av --delete PKI TEAMS SETTINGS "${FRONTEND_HOSTNAME}":"${BASEDIR}"
|
||||
|
||||
# Synchronize submissions
|
||||
rsync -e "$SSH_OPTS" -av --ignore-existing --delay-updates --temp-dir=.tmp/ --partial-dir=.tmp/ --remove-source-files "${FRONTEND_HOSTNAME}":"${BASEDIR}"/submissions/ submissions/
|
||||
@ -27,4 +31,5 @@ do
|
||||
sleep 0.3
|
||||
done
|
||||
|
||||
wait
|
||||
echo See you
|
||||
|
Loading…
Reference in New Issue
Block a user