jenkins-bot merged this change.
download_dump: Handle `get_dump_name()` if there are non-number dirnames
Handle `get_dump_name()` if there are non-number dirnames like
'latest', etc.
Bug: T184032
Change-Id: If0a39ab4e5f080ebe1963d61c9c9a6f6cdb11574
---
M scripts/maintenance/download_dump.py
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/scripts/maintenance/download_dump.py b/scripts/maintenance/download_dump.py
index 8347a7a..66c96fc 100644
--- a/scripts/maintenance/download_dump.py
+++ b/scripts/maintenance/download_dump.py
@@ -66,7 +66,9 @@
"""Check if dump file exists locally in a Toolforge server."""
db_path = '/public/dumps/public/{0}/'.format(db_name)
if os.path.isdir(db_path):
- dates = map(int, os.listdir(db_path))
+ dirs = [directory for directory in os.listdir(db_path) if
+ directory.isdigit()]
+ dates = map(int, dirs)
dates = sorted(dates, reverse=True)
for date in dates:
dump_filepath = ('/public/dumps/public/{0}/{1}/{2}-{3}-{4}'
To view, visit change 488067. To unsubscribe, or for help writing mail filters, visit settings.