Thu, 15 Jan 2015 15:59:08 +0100
Implement a real Private Browsing Mode condition by changing the API/ABI;
This solves Tor bug #9701, complying with disk avoidance documented in
https://www.torproject.org/projects/torbrowser/design/#disk-avoidance.
michael@0 | 1 | # This Source Code Form is subject to the terms of the Mozilla Public |
michael@0 | 2 | # License, v. 2.0. If a copy of the MPL was not distributed with this |
michael@0 | 3 | # file, You can obtain one at http://mozilla.org/MPL/2.0/. |
michael@0 | 4 | |
michael@0 | 5 | def parse_options_defaults(options, preferencesBranch): |
michael@0 | 6 | # this returns a unicode string |
michael@0 | 7 | pref_list = [] |
michael@0 | 8 | |
michael@0 | 9 | for pref in options: |
michael@0 | 10 | if ('value' in pref): |
michael@0 | 11 | value = pref["value"] |
michael@0 | 12 | |
michael@0 | 13 | if isinstance(value, float): |
michael@0 | 14 | continue |
michael@0 | 15 | elif isinstance(value, bool): |
michael@0 | 16 | value = str(pref["value"]).lower() |
michael@0 | 17 | elif isinstance(value, str): # presumably ASCII |
michael@0 | 18 | value = "\"" + unicode(pref["value"]) + "\"" |
michael@0 | 19 | elif isinstance(value, unicode): |
michael@0 | 20 | value = "\"" + pref["value"] + "\"" |
michael@0 | 21 | else: |
michael@0 | 22 | value = str(pref["value"]) |
michael@0 | 23 | |
michael@0 | 24 | pref_list.append("pref(\"extensions." + preferencesBranch + "." + pref["name"] + "\", " + value + ");") |
michael@0 | 25 | |
michael@0 | 26 | return "\n".join(pref_list) + "\n" |