python/virtualenv/virtualenv_embedded/deactivate.bat

Tue, 06 Jan 2015 21:39:09 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Tue, 06 Jan 2015 21:39:09 +0100
branch
TOR_BUG_9701
changeset 8
97036ab72558
permissions
-rw-r--r--

Conditionally force memory storage according to privacy.thirdparty.isolate;
This solves Tor bug #9701, complying with disk avoidance documented in
https://www.torproject.org/projects/torbrowser/design/#disk-avoidance.

     1 @echo off
     3 set VIRTUAL_ENV=
     5 if defined _OLD_VIRTUAL_PROMPT (
     6     set "PROMPT=%_OLD_VIRTUAL_PROMPT%"
     7 	set _OLD_VIRTUAL_PROMPT=
     8 )
    10 if defined _OLD_VIRTUAL_PYTHONHOME (
    11     set "PYTHONHOME=%_OLD_VIRTUAL_PYTHONHOME%"
    12     set _OLD_VIRTUAL_PYTHONHOME=
    13 )
    15 if defined _OLD_VIRTUAL_PATH (
    16     set "PATH=%_OLD_VIRTUAL_PATH%"
    17 	set _OLD_VIRTUAL_PATH=
    18 )
    20 :END

mercurial