mirror of
https://github.com/jupyter/notebook.git
synced 2025-01-24 12:05:22 +08:00
e3696996be
by calling Kernel.stop_channels() in Session.delete and Kernel.kill |
||
---|---|---|
.. | ||
kernel.js | ||
session.js |