| 136 | work_dir, self.name, self.version) |
| 137 | |
| 138 | def __enter__(self): |
| 139 | max_retries = 1 |
| 140 | retries = 0 |
| 141 | while retries < max_retries: |
| 142 | retries += 1 |
| 143 | |
| 144 | r = http.request("GET", self.url, preload_content=False) |
| 145 | try: |
| 146 | print("[{}/{}] Downloading {}".format( |
| 147 | retries, max_retries + 1, self.url)) |
| 148 | with open(self.filename, "wb") as f: |
| 149 | while True: |
| 150 | data = r.read(1024) |
| 151 | if not data: |
| 152 | break |
| 153 | f.write(data) |
| 154 | except requests.exceptions.ConnectionError: |
| 155 | time.sleep(1) |
| 156 | r.release_conn() |
| 157 | continue |
| 158 | |
| 159 | r.release_conn() |
| 160 | break |
| 161 | |
| 162 | call(["tar", "-xf", self.filename]) |
| 163 | |
| 164 | return self |
| 165 | |
| 166 | def __exit__(self, ty, value, tb): |
| 167 | # We are going to clean up the whole temp dir anyway, so |