A kernel manager for multiple kernels
A class for managing multiple kernels.
Get the single KernelManager object for a kernel by its uuid.
kernel_id : uuid
Return a list of the kernel ids of the active kernels.
remove a kernel from our mapping.
Mainly so that a kernel can be removed if it is already dead, without having to call shutdown_kernel.
The kernel object is returned.
Shutdown all kernels.
Start a new kernel.
The caller can pick a kernel_id by passing one in as a keyword arg, otherwise one will be picked using a uuid.
To silence the kernel’s stdout/stderr, call this using: