[tor-bugs] #19791 [Metrics/metrics-lib]: Use CollecTor's index.json for download; adapt current download to use new date format

[Tor Bug Tracker & Wiki]

#19791: Use CollecTor's index.json for download; adapt current download to use new
date format
---------------------------------+-----------------------------------
 Reporter:  karsten              |          Owner:  iwakeh
     Type:  defect               |         Status:  needs_review
 Priority:  High                 |      Milestone:  metrics-lib 1.4.0
Component:  Metrics/metrics-lib  |        Version:
 Severity:  Normal               |     Resolution:
 Keywords:                       |  Actual Points:
Parent ID:                       |         Points:
 Reviewer:                       |        Sponsor:
---------------------------------+-----------------------------------

Comment (by iwakeh):

 The other tests ran without trouble b/c they tested a different behavior:
 * a file that is too old shouldn't be fetched (z2)
 * a file with wrong size shouldn't be fetched (w2)

 I added some more inline comments and also added another correct file
 'a/b/c/u2' for demonstrating what is tested in
 `testNormalCollectingWithDeletion`, i.e. why your suggested 'correction'
 is not correct.

 Please see [https://gitweb.torproject.org/user/iwakeh/metrics-
 lib.git/commit/?h=task-19791-2b&id=0986ae1755be478145b191d235efee12608a3c80
 this branch] based on your latest branch above.

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/19791#comment:16>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online