[tor-bugs] #19016 [Metrics/CollecTor]: add shutdown hook

[Tor Bug Tracker & Wiki]

#19016: add shutdown hook
-------------------------------+---------------------------------
 Reporter:  iwakeh             |          Owner:  iwakeh
     Type:  enhancement        |         Status:  needs_review
 Priority:  Low                |      Milestone:  CollecTor 1.1.0
Component:  Metrics/CollecTor  |        Version:
 Severity:  Normal             |     Resolution:
 Keywords:  ctip               |  Actual Points:
Parent ID:                     |         Points:
 Reviewer:                     |        Sponsor:
-------------------------------+---------------------------------

Comment (by karsten):

 Looks good!  Last question before merging: Should `collector.properties`
 contain 20 as default value rather than 10?  (Happy to change that, but
 figured I should ask first, because there might be a reason for this
 deviation.)

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