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

r1566:5dee5d39
r17640:5d9d0dac
Show More
__init__.py
0 lines | 0 B | text/x-python | PythonLexer