diff options
| author | Andreas Baumann <mail@andreasbaumann.cc> | 2019-07-19 14:11:07 +0200 |
|---|---|---|
| committer | Andreas Baumann <mail@andreasbaumann.cc> | 2019-07-19 14:11:07 +0200 |
| commit | 9543b27cf3737c8f2b52cf0b9824fd0c9fc0b595 (patch) | |
| tree | fefde733299e776b2f2c19dabcbbd3f00c14a9c5 /bin | |
| parent | 35b67857937a8b92b70ac147ebafc03f3d2cecf4 (diff) | |
| download | builder-9543b27cf3737c8f2b52cf0b9824fd0c9fc0b595.tar.xz | |
some increased waits after return-assignment
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/build-packages | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bin/build-packages b/bin/build-packages index a54287a..b6dad36 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -948,7 +948,7 @@ while [ "${count}" -ne 0 ] && \ ;; 1) >&2 echo '"return-assignment" was running already.' - wait_some_time 15 + wait_some_time 60 ;; 2) >&2 echo 'I was too slow, the package is outdated. I will continue ...' @@ -1011,7 +1011,7 @@ while [ "${count}" -ne 0 ] && \ ;; 1) >&2 echo '"return-assignment" was running already.' - wait_some_time 15 + wait_some_time 60 ;; 2) >&2 echo 'I was too slow, the package is outdated. I will continue ...' @@ -1049,7 +1049,7 @@ while [ "${count}" -ne 0 ] && \ >&2 echo 'get-assignment told me:' >&2 echo ' come back (shortly) later - I was running already' - wait_some_time 15 + wait_some_time 60 continue ;; |