UNPKG

@jupyterlab/services

Version:

Client APIs for the Jupyter services REST APIs

29 lines 1.09 kB
"use strict"; // Copyright (c) Jupyter Development Team. // Distributed under the terms of the Modified BSD License. Object.defineProperty(exports, "__esModule", { value: true }); exports.ConnectionStatus = void 0; /** * Application connection status */ class ConnectionStatus { constructor() { /** * Whether the application is connected to the server or not. * * #### Notes * * Every periodic network polling should be paused while this is set * to `false`. Extensions should use this value to decide whether to proceed * with the polling. * The extensions may also set this value to `false` if there is no need to * fetch anything from the server backend basing on some conditions * (e.g. when an error message dialog is displayed). * At the same time, the extensions are responsible for setting this value * back to `true`. */ this.isConnected = true; } } exports.ConnectionStatus = ConnectionStatus; //# sourceMappingURL=connectionstatus.js.map