[tor-bugs] #13138 [Tor Browser]: ESR31: about:tor shows "Tor is not working"

[Tor Bug Tracker & Wiki]

#13138: ESR31: about:tor shows "Tor is not working"
-------------------------+-------------------------------------------------
     Reporter:  mcs      |      Owner:  mcs
         Type:  defect   |     Status:  needs_review
     Priority:  normal   |  Milestone:
    Component:  Tor      |    Version:
  Browser                |   Keywords:  tbb-torbutton, ff31-esr,
   Resolution:           |  TorBrowserTeam201409, MikePerry201409R
Actual Points:           |  Parent ID:
       Points:           |
-------------------------+-------------------------------------------------
Changes (by mcs):

 * status:  new => needs_review
 * keywords:  tbb-torbutton, ff31-esr, TorBrowserTeam201409 => tbb-
     torbutton, ff31-esr, TorBrowserTeam201409, MikePerry201409R


Comment:

 A fix is available here:
 https://gitweb.torproject.org/user/brade/torbutton.git/commit/0467379f524273ed810b5c21d6a8eb16d00445cb

 The revised code is compatible with Firefox 24 and 31.
 Mike, please review and merge.

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