python/virtualenv/virtualenv_embedded/deactivate.bat

changeset 0
6474c204b198
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/python/virtualenv/virtualenv_embedded/deactivate.bat	Wed Dec 31 06:09:35 2014 +0100
     1.3 @@ -0,0 +1,20 @@
     1.4 +@echo off
     1.5 +
     1.6 +set VIRTUAL_ENV=
     1.7 +
     1.8 +if defined _OLD_VIRTUAL_PROMPT (
     1.9 +    set "PROMPT=%_OLD_VIRTUAL_PROMPT%"
    1.10 +	set _OLD_VIRTUAL_PROMPT=
    1.11 +)
    1.12 +
    1.13 +if defined _OLD_VIRTUAL_PYTHONHOME (
    1.14 +    set "PYTHONHOME=%_OLD_VIRTUAL_PYTHONHOME%"
    1.15 +    set _OLD_VIRTUAL_PYTHONHOME=
    1.16 +)
    1.17 +
    1.18 +if defined _OLD_VIRTUAL_PATH (
    1.19 +    set "PATH=%_OLD_VIRTUAL_PATH%"
    1.20 +	set _OLD_VIRTUAL_PATH=
    1.21 +)
    1.22 +
    1.23 +:END

mercurial