| Index: bootstrap/virtualenv/virtualenv_embedded/deactivate.bat
|
| diff --git a/bootstrap/virtualenv/virtualenv_embedded/deactivate.bat b/bootstrap/virtualenv/virtualenv_embedded/deactivate.bat
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..74d367168307dd76afd69a08d031e57a5024291d
|
| --- /dev/null
|
| +++ b/bootstrap/virtualenv/virtualenv_embedded/deactivate.bat
|
| @@ -0,0 +1,19 @@
|
| +@echo off
|
| +
|
| +set VIRTUAL_ENV=
|
| +
|
| +REM Don't use () to avoid problems with them in %PATH%
|
| +if not defined _OLD_VIRTUAL_PROMPT goto ENDIFVPROMPT
|
| + set "PROMPT=%_OLD_VIRTUAL_PROMPT%"
|
| + set _OLD_VIRTUAL_PROMPT=
|
| +:ENDIFVPROMPT
|
| +
|
| +if not defined _OLD_VIRTUAL_PYTHONHOME goto ENDIFVHOME
|
| + set "PYTHONHOME=%_OLD_VIRTUAL_PYTHONHOME%"
|
| + set _OLD_VIRTUAL_PYTHONHOME=
|
| +:ENDIFVHOME
|
| +
|
| +if not defined _OLD_VIRTUAL_PATH goto ENDIFVPATH
|
| + set "PATH=%_OLD_VIRTUAL_PATH%"
|
| + set _OLD_VIRTUAL_PATH=
|
| +:ENDIFVPATH
|
|
|