#18801: disable the dom.push prefs -------------------------------------------------+------------------------- Reporter: mcs | Owner: mcs Type: defect | Status: Priority: Medium | needs_review Component: Tor Browser | Milestone: Severity: Normal | Version: Keywords: ff45-esr, tbb-6.0a5, | Resolution: TorBrowserTeam201604R | Actual Points: Parent ID: | Points: Reviewer: | Sponsor: -------------------------------------------------+-------------------------
Comment (by mcs): Replying to [comment:2 gk]: > It seems Mozilla did already a good job at disabling the DOM Push prefs. See: https://mxr.mozilla.org/mozilla- esr45/source/modules/libpref/init/all.js. So, the only thing that is actually missing is getting rid of the serverURL? Yes, you are correct. Sorry about that. Please use the revised patch that I just attached to this ticket. -- Ticket URL: <https://trac.torproject.org/projects/tor/ticket/18801#comment:3> Tor Bug Tracker & Wiki <https://trac.torproject.org/> The Tor Project: anonymity online _______________________________________________ tor-bugs mailing list tor-bugs@lists.torproject.org https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs