##// END OF EJS Templates
Add pid number to kernel startup message....
Add pid number to kernel startup message. This makes it easier to kill and restart kernels while debugging, or to find stray kernels if need be.
Fernando Perez -
r2912:053d5686
Show More
Name Size Modified Last Commit Author
/ IPython / frontend / terminal
scripts
tests
__init__.py Loading ...
embed.py Loading ...
interactiveshell.py Loading ...
ipapp.py Loading ...