Update app.py
Browse files
app.py
CHANGED
|
@@ -115,7 +115,7 @@ def download_loop(state):
|
|
| 115 |
to_download = None
|
| 116 |
for shard, info in state["shards"].items():
|
| 117 |
if info["status"] == "pending":
|
| 118 |
-
raw_name = shard.replace("/", "__")
|
| 119 |
raw_path = Path(RAW_DIR) / raw_name
|
| 120 |
if not raw_path.exists():
|
| 121 |
to_download = shard
|
|
@@ -133,7 +133,7 @@ def download_loop(state):
|
|
| 133 |
|
| 134 |
# Download it
|
| 135 |
url = base_url + to_download
|
| 136 |
-
raw_name =
|
| 137 |
raw_path = Path(RAW_DIR) / raw_name
|
| 138 |
|
| 139 |
print(f" Downloading: {to_download}")
|
|
|
|
| 115 |
to_download = None
|
| 116 |
for shard, info in state["shards"].items():
|
| 117 |
if info["status"] == "pending":
|
| 118 |
+
raw_name = shard.replace("/", "__")
|
| 119 |
raw_path = Path(RAW_DIR) / raw_name
|
| 120 |
if not raw_path.exists():
|
| 121 |
to_download = shard
|
|
|
|
| 133 |
|
| 134 |
# Download it
|
| 135 |
url = base_url + to_download
|
| 136 |
+
raw_name = to_download.replace("/", "__")
|
| 137 |
raw_path = Path(RAW_DIR) / raw_name
|
| 138 |
|
| 139 |
print(f" Downloading: {to_download}")
|