[tor-bugs] #20525 [Metrics/metrics-lib]: Be more careful when deleting extraneous local descriptor files

Tue Jan 31 15:38:10 UTC 2017

#20525: Be more careful when deleting extraneous local descriptor files
---------------------------------+-----------------------------------
 Reporter:  karsten              |          Owner:  karsten
     Type:  defect               |         Status:  merge_ready
 Priority:  Medium               |      Milestone:  metrics-lib 1.6.0
Component:  Metrics/metrics-lib  |        Version:
 Severity:  Normal               |     Resolution:
 Keywords:                       |  Actual Points:
Parent ID:                       |         Points:
 Reviewer:                       |        Sponsor:
---------------------------------+-----------------------------------
Changes (by iwakeh):

 * status:  needs_review => merge_ready

Comment:

 Looks fine and removes this indeed 'unexpected behavior' as mentioned in
 the commit message.
 Passes tests (has the checkstyle complaints, which are fixed in a
 different ticket).
 The new tests documents the wanted behaviour sufficiently.
 Ready for merge.

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