Re: [tor-bugs] #16357 [Tor Browser]: Wipe permissions using Mozilla API

["Tor Bug Tracker & Wiki" <blackhole@xxxxxxxxxxxxxx>]

#16357: Wipe permissions using Mozilla API
---------------------------------+-----------------------------------
     Reporter:  arthuredelstein  |      Owner:  tbb-team
         Type:  defect           |     Status:  needs_review
     Priority:  normal           |  Milestone:
    Component:  Tor Browser      |    Version:
   Resolution:                   |   Keywords:  TorBrowserTeam201506R
Actual Points:                   |  Parent ID:
       Points:                   |
---------------------------------+-----------------------------------

Comment (by mcs):

 Replying to [comment:1 arthuredelstein]:
 > Here's my patch:
 > https://github.com/arthuredelstein/torbutton/commit/16357

 r=mcs.  If I remember correctly, at the dev meeting on Monday you
 concluded that this cleared the in-memory permissions synchronously and
 that is sufficient because the info on disk is only read at startup.

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/16357#comment:2>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online
_______________________________________________
tor-bugs mailing list
tor-bugs@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs