[tor-bugs] #16357 [Tor Browser]: Wipe permissions using Mozilla API
Tor Bug Tracker & Wiki
blackhole at torproject.org
Wed Jun 17 12:36:34 UTC 2015
#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
More information about the tor-bugs
mailing list