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

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