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

r2282:1fd4b9de
r2912:053d5686
Show More
__init__.py
0 lines | 0 B | text/x-python | PythonLexer