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

File last commit:

r13827:4e9d678c
r17640:5d9d0dac
Show More
__init__.py
0 lines | 0 B | text/x-python | PythonLexer