[tor-bugs] #5085 [Obfsproxy]: managed obfsproxy does not quit if tor dies

[Tor Bug Tracker & Wiki]

#5085: managed obfsproxy does not quit if tor dies
-----------------------+---------------------
 Reporter:  arma       |          Owner:  asn
     Type:  defect     |         Status:  new
 Priority:  Low        |      Milestone:
Component:  Obfsproxy  |        Version:
 Severity:  Normal     |     Resolution:
 Keywords:             |  Actual Points:
Parent ID:             |         Points:
 Reviewer:             |        Sponsor:
-----------------------+---------------------
Changes (by arma):

 * severity:   => Normal


Comment:

 Ok to close this ticket, maybe even as a duplicate of #15435?

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