mirror of
https://github.com/f-droid/fdroidserver.git
synced 2025-11-04 14:30:30 +03:00
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 | ||