diff options
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 /lib | |
parent | 4369821e44eab3833f3cade0917acf2c444968de (diff) | |
download | builder-cca18a48d4c1f58dcdde856a590ddd45dbedc329.tar.xz |
lib/common-functions: trigger_mirror_refreshs(): wait for screen(s) to finish - else systemd seems to kill them
Diffstat (limited to 'lib')
-rwxr-xr-x | lib/common-functions | 5 |
1 files changed, 4 insertions, 1 deletions
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 } |