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