[tor-bugs] #12440 [Tor Launcher]: Tell users that "Tor unexpectedly exited" is not so bad.

[Tor Bug Tracker & Wiki]

#12440: Tell users that "Tor unexpectedly exited" is not so bad.
------------------------------+-----------------------------------
     Reporter:  mttp          |      Owner:  brade
         Type:  defect        |     Status:  new
     Priority:  normal        |  Milestone:
    Component:  Tor Launcher  |    Version:
   Resolution:                |   Keywords:  tbb-helpdesk-frequent
Actual Points:                |  Parent ID:
       Points:                |
------------------------------+-----------------------------------

Comment (by mcs):

 Also see #11199 (Improve Tor Launcher's behavior if tor exits)

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