[tor-bugs] #4952 [Tor]: managed proxies: "[notice] Failed to terminate process with PID '%d'" when doing Ctrl-c from terminal

[Tor Bug Tracker & Wiki]

#4952: managed proxies: "[notice] Failed to terminate process with PID '%d'" when
doing Ctrl-c from terminal
------------------------+---------------------------------------------------
 Reporter:  asn         |          Owner:                  
     Type:  defect      |         Status:  new             
 Priority:  minor       |      Milestone:  Tor: unspecified
Component:  Tor         |        Version:                  
 Keywords:  tor-bridge  |         Parent:                  
   Points:              |   Actualpoints:                  
------------------------+---------------------------------------------------

Comment(by arma):

 Looks very related to #8746.

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