diff options
author | Bartek Grzybowski <b.grzybowski@partner.samsung.com> | 2022-02-28 12:36:50 +0100 |
---|---|---|
committer | Bartek Grzybowski <b.grzybowski@partner.samsung.com> | 2022-02-28 11:43:29 +0000 |
commit | 955748b503d6fae3b95c1939317833de28291f7e (patch) | |
tree | aab910de150c61295b6bcab411b50e080d332916 | |
parent | 9989381f9896c6c0eedc1e3d85615bc34c733b4b (diff) |
[BUILD] Fix a buggy condition in _pull_image routine
Change-Id: Id9480ca97790e9732a3ab7ea53bfe3f14928c2d8
Issue-ID: OOM-2915
Signed-off-by: Bartek Grzybowski <b.grzybowski@partner.samsung.com>
-rwxr-xr-x | build/download/docker_downloader.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/download/docker_downloader.py b/build/download/docker_downloader.py index db79d8a6..c767aa9e 100755 --- a/build/download/docker_downloader.py +++ b/build/download/docker_downloader.py @@ -162,7 +162,7 @@ class DockerDownloader(ConcurrentDownloader): # if docker mirroring repository is set image_name_split = image_name.split('/') if (len(image_name_split) > 1) \ - and (image_name_split[0].find(".")) \ + and (image_name_split[0].find(".")) >= 0 \ and not (image_name.startswith('docker.io/')) \ 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' |