mirror of
https://gitlab.com/fdroid/fdroidserver.git
synced 2024-11-19 21:30:10 +01:00
ce77a33228
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. |
||
---|---|---|
.. | ||
config.yml | ||
fdroid_clean_repos.py | ||
fdroid_export_keystore_to_nitrokey.py | ||
fdroid_exportkeystore.py | ||
fdroid_extract_repo_pubkey.py | ||
fdroid_fetchsrclibs.py | ||
fdroid_nitrokeyimport.py | ||
mirror-to-mirror.sh | ||
opensc-fdroid.cfg | ||
public-read-only-s3-bucket-policy.json | ||
template.yml | ||
Vagrantfile.yaml |