diff options
| author | Holger Levsen <holger@layer-acht.org> | 2016-07-06 11:09:27 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2016-07-06 11:09:27 +0200 |
| commit | 851817c6cd83c6b431e2a30b75c0e1edf8ef1712 (patch) | |
| tree | d63b47b50eaf2de58515a180673c9767ff0cc811 /bin/schroot-create.sh | |
| parent | 02ccd8197bbba77dc56dea25ab08964632b66ac3 (diff) | |
| download | jenkins.debian.net-851817c6cd83c6b431e2a30b75c0e1edf8ef1712.tar.xz | |
detect another kind of network issue: 503
Diffstat (limited to 'bin/schroot-create.sh')
| -rwxr-xr-x | bin/schroot-create.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/schroot-create.sh b/bin/schroot-create.sh index 7311687e..67e5ab14 100755 --- a/bin/schroot-create.sh +++ b/bin/schroot-create.sh @@ -1,6 +1,6 @@ #!/bin/bash -# Copyright 2012-2015 Holger Levsen <holger@layer-acht.org> +# Copyright 2012-2016 Holger Levsen <holger@layer-acht.org> # Copyright 2013 Antonio Terceiro <terceiro@debian.org> # Copyright 2014 Joachim Breitner <nomeata@debian.org> # Copyright 2015 MAttia Rizzolo <mattia@mapreri.org> @@ -118,7 +118,7 @@ EOF robust_chroot_apt() { set +e sudo chroot $SCHROOT_TARGET apt-get $@ | tee $TMPLOG - local RESULT=$(egrep 'Failed to fetch.*(Unable to connect to|Connection failed|Size mismatch|Cannot initiate the connection to|Bad Gateway)' $TMPLOG || true) + local RESULT=$(egrep 'Failed to fetch.*(Unable to connect to|Connection failed|Size mismatch|Cannot initiate the connection to|Bad Gateway|Service Unavailable)' $TMPLOG || true) set -e if [ ! -z "$RESULT" ] ; then echo "$(date -u) - 'apt-get $@' failed, sleeping 5min before retrying..." |