##// 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
/ docs / examples / core
demo-exercizer.py Loading ...
example-demo.py Loading ...
example-embed-short.py Loading ...
example-embed.py Loading ...
example-gnuplot.py Loading ...
ipy.vim Loading ...
ipython-sh.desktop Loading ...
ipython.desktop Loading ...
ipython_here_shell_extension.reg Loading ...
leo_bridge_demo.leo Loading ...
new-embed.py Loading ...
seteditor.py Loading ...