[tor-bugs] #19791 [Metrics/metrics-lib]: Adapt to CollecTor's new date format

[Tor Bug Tracker & Wiki]

#19791: Adapt to CollecTor's new date format
-------------------------------------+---------------------
     Reporter:  karsten              |      Owner:  karsten
         Type:  defect               |     Status:  new
     Priority:  High                 |  Milestone:
    Component:  Metrics/metrics-lib  |    Version:
     Severity:  Normal               |   Keywords:
Actual Points:                       |  Parent ID:
       Points:                       |   Reviewer:
      Sponsor:                       |
-------------------------------------+---------------------
 We're parsing dates from the CollecTor's Apache directory listings to
 decide whether or not to fetch a remote file.  The CollecTor host was
 recently upgraded from wheezy to jessie, which apparently changed the date
 format from dd-MMM-yyyy to yyyy-MM-dd.  Adapt to this change.

 Obviously, parsing dates like this is very fragile.  We should soon switch
 to using CollecTor's index.json file instead, ideally before the next
 release.

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