Construct a new kernel manager.
The default options for kernel.
The server settings for the manager.
A signal emitted when there is a connection failure.
Test whether the terminal manager is disposed.
Test whether the manager is ready.
A promise that fulfills when the manager is ready.
A signal emitted when the running kernels change.
Get the most recently fetched kernel specs.
A signal emitted when the specs change.
Handle a kernel starting.
Handle a kernel terminating.
Dispose of the resources used by the manager.
Find a kernel by id.
The id of the target kernel.
A promise that resolves with the kernel's model.
Force a refresh of the running kernels.
A promise that resolves when the running list has been refreshed.
This is not typically meant to be called by the user, since the manager maintains its own internal state.
Force a refresh of the specs from the server.
A promise that resolves when the specs are fetched.
This is intended to be called only in response to a user action, since the manager maintains its internal state.
Execute a request to the server to poll running kernels and update state.
Execute a request to the server to poll specs and update state.
Create an iterator over the most recent running kernels.
A new iterator over the running kernels.
Shut down a kernel by id.
The id of the target kernel.
A promise that resolves when the operation is complete.
This will emit runningChanged if the running kernels list changes.
Shut down all kernels.
A promise that resolves when all of the kernels are shut down.
Generated using TypeDoc
An implementation of a kernel manager. The namespace for
KernelManager
class statics.