##// END OF EJS Templates
Explicitly close prompt_toolkit event loop after running...
Explicitly close prompt_toolkit event loop after running This is recommended, see jonathanslenders/python-prompt-toolkit#287. Normally it won't matter, because we close it just before the process exits, but if someone is embedding it repeatedly it could leave pipes lingering.
Thomas Kluyver -
r22319:970a08d5
Show More
Name Size Modified Last Commit Author
/ scripts
ipython.ico Loading ...
ipython_nb.ico Loading ...
ipython_win_post_install.py Loading ...