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 | @echo off |
michael@0 | 2 | rem This Source Code Form is subject to the terms of the Mozilla Public |
michael@0 | 3 | rem License, v. 2.0. If a copy of the MPL was not distributed with this |
michael@0 | 4 | rem file, You can obtain one at http://mozilla.org/MPL/2.0/. |
michael@0 | 5 | |
michael@0 | 6 | if defined _OLD_VIRTUAL_PROMPT ( |
michael@0 | 7 | set "PROMPT=%_OLD_VIRTUAL_PROMPT%" |
michael@0 | 8 | ) |
michael@0 | 9 | set _OLD_VIRTUAL_PROMPT= |
michael@0 | 10 | |
michael@0 | 11 | if defined _OLD_VIRTUAL_PATH ( |
michael@0 | 12 | set "PATH=%_OLD_VIRTUAL_PATH%" |
michael@0 | 13 | ) |
michael@0 | 14 | set _OLD_VIRTUAL_PATH= |
michael@0 | 15 | |
michael@0 | 16 | if defined _OLD_PYTHONPATH ( |
michael@0 | 17 | set "PYTHONPATH=%_OLD_PYTHONPATH%" |
michael@0 | 18 | ) |
michael@0 | 19 | set _OLD_PYTHONPATH= |
michael@0 | 20 | |
michael@0 | 21 | set CUDDLEFISH_ROOT= |
michael@0 | 22 | |
michael@0 | 23 | :END |