##// END OF EJS Templates
JS: close WebSockets when killing kernels...
JS: close WebSockets when killing kernels by calling Kernel.stop_channels() in Session.delete and Kernel.kill
MinRK -
r17640:5d9d0dac
Show More
Name Size Modified Last Commit Author
/ IPython / lib / tests
__init__.py Loading ...
test.wav Loading ...
test_backgroundjobs.py Loading ...
test_clipboard.py Loading ...
test_deepreload.py Loading ...
test_display.py Loading ...
test_imports.py Loading ...
test_latextools.py Loading ...
test_pretty.py Loading ...
test_security.py Loading ...