| 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..fd4db26459835fb694ba2267539ccde6c7c0d7cb
|
| --- /dev/null
|
| +++ b/bootstrap/virtualenv/virtualenv_embedded/deactivate.bat
|
| @@ -0,0 +1,20 @@
|
| +@echo off
|
| +
|
| +set VIRTUAL_ENV=
|
| +
|
| +if defined _OLD_VIRTUAL_PROMPT (
|
| + set "PROMPT=%_OLD_VIRTUAL_PROMPT%"
|
| + set _OLD_VIRTUAL_PROMPT=
|
| +)
|
| +
|
| +if defined _OLD_VIRTUAL_PYTHONHOME (
|
| + set "PYTHONHOME=%_OLD_VIRTUAL_PYTHONHOME%"
|
| + set _OLD_VIRTUAL_PYTHONHOME=
|
| +)
|
| +
|
| +if defined _OLD_VIRTUAL_PATH (
|
| + set "PATH=%_OLD_VIRTUAL_PATH%"
|
| + set _OLD_VIRTUAL_PATH=
|
| +)
|
| +
|
| +:END
|
|
|