##// 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 / extensions
tests
__init__.py Loading ...
parallelmagic.py Loading ...
pretty.py Loading ...