[tor-bugs] #11199 [Tor Launcher]: Improve Tor Launcher's behavior if tor exits

[Tor Bug Tracker & Wiki]

#11199: Improve Tor Launcher's behavior if tor exits
------------------------------+----------------------------------
     Reporter:  mcs           |      Owner:  mcs
         Type:  defect        |     Status:  closed
     Priority:  normal        |  Milestone:
    Component:  Tor Launcher  |    Version:
   Resolution:  fixed         |   Keywords:  TorBrowserTeam201407
Actual Points:                |  Parent ID:
       Points:                |
------------------------------+----------------------------------

Comment (by mcs):

 Replying to [comment:8 brade]:
 > How about:
 >   Tor unexpectedly exited. This might be due to a bug in Tor itself,
 another program on your system, or faulty hardware. Until you restart Tor,
 the Tor Browser will not able to reach any websites. If the problem
 persists, please send a copy of your Tor Log to the support team.

 Lunar (or others) -- do you have any comments on this proposal?  We (brade
 and me) would like to proceed with it or a similar improved UI ASAP so
 there is still time for new strings to be translated before TB 4.0 reaches
 beta.

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