---

yaml
---
r: 2611
b: refs/heads/master
c: 49b90d3
h: refs/heads/master
i:
  2609: b7507d9
  2607: 3107ca8
v: v3

Author: graydon

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: aed235e348cddb47c2e2e24a9a64575a524ac8c3
+refs/heads/master: 49b90d37eddc0b1fc518f44ce9bc7eafcde77ba4

trunk/src/etc/get-snapshot.py

@@ -3,11 +3,6 @@
 import os, tarfile, hashlib, re, shutil
 from snapshot import *
 
-def snap_filename_hash_part(snap):
-  match = re.match(r".*([a-fA-F\d]{40}).tar.bz2$", snap)
-  if not match:
-    raise Exception("unable to find hash in filename: " + snap)
-  return match.group(1)
 
 def unpack_snapshot(snap):
   dl_path = os.path.join(download_dir_base, snap)

trunk/src/etc/mirror-all-snapshots.py

@@ -0,0 +1,37 @@
+#!/usr/bin/env python
+
+import os, tarfile, hashlib, re, shutil
+from snapshot import *
+
+f = open(snapshotfile)
+date = None
+rev = None
+platform = None
+snap = None
+i = 0
+
+for line in f.readlines():
+    i += 1
+    parsed = parse_line(i, line)
+    if (not parsed): continue
+
+    if parsed["type"] == "snapshot":
+        date = parsed["date"]
+        rev = parsed["rev"]
+
+    elif rev != None and parsed["type"] == "file":
+        platform = parsed["platform"]
+        hsh = parsed["hash"]
+        snap = full_snapshot_name(date, rev, platform, hsh)
+        dl = os.path.join(download_dir_base, snap)
+        url = download_url_base + "/" + snap
+        if (not os.path.exists(dl)):
+            print("downloading " + url)
+            get_url_to_file(url, dl)
+        if (snap_filename_hash_part(snap) == hash_file(dl)):
+            print("got download with ok hash")
+        else:
+            raise Exception("bad hash on download")
+
+
+

trunk/src/etc/snapshot.py

@@ -95,6 +95,12 @@ def local_rev_committer_date():
 def get_url_to_file(u,f):
   subprocess.check_call(["curl", "-o", f, u])
 
+def snap_filename_hash_part(snap):
+  match = re.match(r".*([a-fA-F\d]{40}).tar.bz2$", snap)
+  if not match:
+    raise Exception("unable to find hash in filename: " + snap)
+  return match.group(1)
+
 def hash_file(x):
     h = hashlib.sha1()
     h.update(open(x, "rb").read())