summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbuild/download/docker_downloader.py2
1 files changed, 2 insertions, 0 deletions
diff --git a/build/download/docker_downloader.py b/build/download/docker_downloader.py
index c767aa9e..9897325d 100755
--- a/build/download/docker_downloader.py
+++ b/build/download/docker_downloader.py
@@ -164,9 +164,11 @@ class DockerDownloader(ConcurrentDownloader):
if (len(image_name_split) > 1) \
and (image_name_split[0].find(".")) >= 0 \
and not (image_name.startswith('docker.io/')) \
+ and not (image_name.startswith(self._mirror)) \
and (image_name_split[0] not in self._mirror_exclude):
# if image originates from private registry and its name does not start with 'docker.io'
# and it does not originate from excluded registry
+ # and docker mirror name differs from private registry name
# -> download image from docker mirror and retag it to its original name
mirrored_image_name = self._mirror + "/" + '/'.join(image_name_split[1:])
img = self._docker_client.images.pull(mirrored_image_name)