##// 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.

File last commit:

r2009:2a0ba18d
r2912:053d5686
Show More
__init__.py
0 lines | 0 B | text/x-python | PythonLexer