python/virtualenv/virtualenv_embedded/deactivate.bat

Thu, 22 Jan 2015 13:21:57 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Thu, 22 Jan 2015 13:21:57 +0100
branch
TOR_BUG_9701
changeset 15
b8a032363ba2
permissions
-rw-r--r--

Incorporate requested changes from Mozilla in review:
https://bugzilla.mozilla.org/show_bug.cgi?id=1123480#c6

     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