A signal emitted when there is a connection failure.
A signal emitted when the object is disposed.
Whether the manager is ready.
A promise that resolves when the manager is initially ready.
The server settings for the manager.
A signal emitted when the kernel specs change.
Dispose of the resources held by the object.
If the object's dispose
method is called more than once, all
calls made after the first will be a no-op.
It is undefined behavior to use any functionality of the object after it has been disposed unless otherwise explicitly noted.
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.
Generated using TypeDoc
Object which manages kernel instances for a given base url.
Notes
The manager is responsible for maintaining the state of kernel specs.