[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.4.x-final
Component:  Tor     |        Version:                    
 Keywords:          |         Parent:                    
   Points:          |   Actualpoints:                    
--------------------+-------------------------------------------------------
Changes (by arma):

  * milestone:  => Tor: 0.2.4.x-final


Comment:

 Putting in 0.2.4.x since it's a bug ("Tor could try to kill a random
 process"), but it's deferable to 0.2.5.

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