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 |