[tor-bugs] #8746 [Tor]: Tor tries to kill nonexistent proxy PID on second SIGINT

[Tor Bug Tracker & Wiki]

#8746: Tor tries to kill nonexistent proxy PID on second SIGINT
-------------------------+-------------------------------------------------
     Reporter:  dcf      |      Owner:  nickm
         Type:  defect   |     Status:  needs_review
     Priority:  normal   |  Milestone:  Tor: 0.2.5.x-final
    Component:  Tor      |    Version:
   Resolution:           |   Keywords:  tor-client, pt, 024-deferrable,
Actual Points:           |  025-triaged
       Points:           |  Parent ID:
-------------------------+-------------------------------------------------
Changes (by nickm):

 * status:  assigned => needs_review


Comment:

 Okay, now it has unit tests.  The only non-covered lines are ones that
 trigger on BUG conditions.

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