This script is run every 10 minutes or so to push new files to the primary
mirrors. It sets a lock to prevent multiple copies from running in
parallel. Yesterday, one rsync process got stuck and never exited, thereby
preventing this script from running. Adding a 1h timeout seems like a safe
way to deal with this kind of problem. This would not deal with rsync
getting so stuck that it fails to heed the timeout, hopefully that's not an
issue.
* ftp.agdsn.de is a new official mirror that receives push updates.
* mirror.f-droid.org is no more, it is now a DNS round robin redirector.
admin#247
admin#298
[skip ci]
This is the deployed script for pushing to the primary mirrors. It starts
with the 'repo' section and runs all the rsyncs in parallel to each primary
mirror. Once the 'repo' syncs are done, it does the same process for the
'archive' syncs. This adds a new primary push mirror at PLUG. #163!800!792
[skip ci]
This is the deployed script for pushing to the primary mirrors. It starts
with the 'repo' section and runs all the rsyncs in parallel to each primary
mirror. Once the 'repo' syncs are done, it does the same process for the
'archive' syncs.
[skip ci]
Hans-Christoph Steiner