From 57cb81221963c7c8ce2646f9b80d8c067c57ce13 Mon Sep 17 00:00:00 2001 From: Florian Bruhin Date: Wed, 6 Apr 2016 07:14:21 +0200 Subject: [PATCH] ci/install: Wait 30s before re-calling apt-get See #1396. --- scripts/dev/ci/install.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/scripts/dev/ci/install.py b/scripts/dev/ci/install.py index 4b9767ead..52e0aaaa7 100644 --- a/scripts/dev/ci/install.py +++ b/scripts/dev/ci/install.py @@ -34,6 +34,7 @@ import sys import subprocess import urllib import contextlib +import time try: import _winreg as winreg @@ -73,8 +74,9 @@ def apt_get(args): folded_cmd(['sudo', 'apt-get', '-y', '-q'] + args) except subprocess.CalledProcessError: print() - print("apt-get failed... trying a second time!") + print("apt-get failed... trying a second time in 30s...") print() + time.sleep(30) folded_cmd(['sudo', 'apt-get', '-y', '-q'] + args)