From c2a129e5ed762965c2b7ce62922dbeda77d7d707 Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Mon, 7 Jun 2021 15:12:41 +0200
Subject: [PATCH] [scripts.mirror] Prevents timestamp key not found error
---
bob/devtools/scripts/mirror.py | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/bob/devtools/scripts/mirror.py b/bob/devtools/scripts/mirror.py
index 14884bb5..8b616c55 100644
--- a/bob/devtools/scripts/mirror.py
+++ b/bob/devtools/scripts/mirror.py
@@ -221,6 +221,12 @@ def mirror(
if start_date is not None:
too_old = set()
for k in to_download:
+ if "timestamp" not in remote_package_info[k]:
+ logger.debug(
+ "Package %s does not contain a timestamp (ignoring)...",
+ k,
+ )
+ continue
pkgdate = datetime.datetime.fromtimestamp(
remote_package_info[k]["timestamp"] / 1000.0
).date()
--
GitLab