diff options
author | Erich Eckner <git@eckner.net> | 2018-01-17 21:25:13 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-01-17 21:25:13 +0100 |
commit | 5fb9f8ad7843e087c974cc1af291b4f494824462 (patch) | |
tree | 73cdc7707602de3714c7a5cc2b6fc51642babbb6 /bin/common-functions | |
parent | 041139bd471096ddc6be8c8b80c0f5619238dc7a (diff) | |
download | builder-5fb9f8ad7843e087c974cc1af291b4f494824462.tar.xz |
trigger_mirror_refreshs new to signal mirror changes and trigger updates of tier 1 mirrors
Diffstat (limited to 'bin/common-functions')
-rwxr-xr-x | bin/common-functions | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/bin/common-functions b/bin/common-functions index 6bfa319..a972310 100755 --- a/bin/common-functions +++ b/bin/common-functions @@ -1303,3 +1303,21 @@ modification_revision_link() { "${mod_rev}" fi } + +# trigger_mirror_refreshs +# trigger a refresh of capable tier 1 mirrors (as backup for master mirror) + +trigger_mirror_refreshs() { + local tmp_file + + tmp_file=$(mktemp) + date '+%s' > \ + "${tmp_file}" + ${master_mirror_rsync_command} \ + "${tmp_file}" \ + "${master_mirror_rsync_directory}/lastupdate" + rm "${tmp_file}" + for trigger_url in ${mirror_refresh_trigger_urls}; do + screen -S trigger-mirror-update -d -m curl -L "${trigger_url}" + done +} |