From 8c2c3ec8abbc89a708c617f99191645f95c64e78 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Wed, 31 May 2017 11:16:01 +0200
Subject: bin/build-packages: handle busy build server in case of tried error
 report

---
 bin/build-packages | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/bin/build-packages b/bin/build-packages
index e66afdb..f064556 100755
--- a/bin/build-packages
+++ b/bin/build-packages
@@ -216,11 +216,13 @@ while [ ${count} -ne 0 ]; do
       done
 
       if ! ${success}; then
-        ssh \
+        while ! ssh \
           -i "${master_build_server_identity}" \
           -p "${master_build_server_port}" \
           "${master_build_server_user}@${master_build_server}" \
-          'return-assignment' "${package}" "${git_revision}" "${mod_git_revision}" "${repository}" 'ERROR'
+          'return-assignment' "${package}" "${git_revision}" "${mod_git_revision}" "${repository}" 'ERROR'; do
+          sleep $[15+$RANDOM%30]
+        done
         if ${exit_after_failure}; then
           >&2 echo 'Build failed, exiting now'
           exit
-- 
cgit v1.2.3-70-g09d2