[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:
         Type:  defect  |     Status:  new
     Priority:  normal  |  Milestone:  Tor: 0.2.5.x-final
    Component:  Tor     |    Version:
   Resolution:          |   Keywords:  tor-client pt 024-deferrable
Actual Points:          |  Parent ID:
       Points:          |
------------------------+------------------------------------------

Comment (by andrea):

 Triage: keep for 0.2.5.x-final; this seems important.

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