[tor-bugs] #13156 [Tor Browser]: Add "Stop Tor" option

[Tor Bug Tracker & Wiki]

#13156: Add "Stop Tor" option
-------------------------+-------------------------------------------------
     Reporter:           |      Owner:  tbb-team
  overview8              |     Status:  new
         Type:           |  Milestone:
  enhancement            |    Version:
     Priority:  normal   |   Keywords:  tor, tor button, torbrowser, stop
    Component:  Tor      |  tor
  Browser                |  Parent ID:
   Resolution:           |
Actual Points:           |
       Points:           |
-------------------------+-------------------------------------------------
Changes (by arma):

 * owner:   => tbb-team
 * component:  - Select a component => Tor Browser


Comment:

 Is this best done in Torbutton, in Tor Launcher, or not at all?

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