index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2019-06-16 07:06:15 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-06-16 07:06:15 +0200 |
commit | cca18a48d4c1f58dcdde856a590ddd45dbedc329 (patch) | |
tree | 7c01fbbd5503fa8ed767821517c710c55e38674b | |
parent | 4369821e44eab3833f3cade0917acf2c444968de (diff) |
-rwxr-xr-x | lib/common-functions | 5 |
diff --git a/lib/common-functions b/lib/common-functions index 6159e50..59ab853 100755 --- a/lib/common-functions +++ b/lib/common-functions @@ -729,7 +729,10 @@ trigger_mirror_refreshs() { "${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}" + screen -S trigger-mirror-update -d -m curl -L --connect-timeout 10 "${trigger_url}" + done + while screen -list trigger-mirror-update; do + sleep 1 done } |