UNPKG

@theia/core

Version:

Theia is a cloud & desktop IDE framework implemented in TypeScript.

43 lines 2.38 kB
"use strict"; // ***************************************************************************** // Copyright (C) 2019 TypeFox and others. // // This program and the accompanying materials are made available under the // terms of the Eclipse Public License v. 2.0 which is available at // http://www.eclipse.org/legal/epl-2.0. // // This Source Code may also be made available under the following Secondary // Licenses when the conditions for such availability set forth in the Eclipse // Public License v. 2.0 are satisfied: GNU General Public License, version 2 // with the GNU Classpath Exception which is available at // https://www.gnu.org/software/classpath/license.html. // // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0 // ***************************************************************************** Object.defineProperty(exports, "__esModule", { value: true }); exports.ElectronWebSocketConnectionSource = void 0; const tslib_1 = require("tslib"); const inversify_1 = require("inversify"); const ws_connection_source_1 = require("../../browser/messaging/ws-connection-source"); /** * Customized connection provider between the frontend and the backend in electron environment. * This customized connection provider makes sure the websocket connection does not try to reconnect * once the electron-browser window is refreshed. Otherwise, backend resources are not disposed. */ let ElectronWebSocketConnectionSource = class ElectronWebSocketConnectionSource extends ws_connection_source_1.WebSocketConnectionSource { constructor() { super(); } onStop() { // Manually close the websocket connections `onStop`. Otherwise, the channels will be closed with 30 sec (`MessagingContribution#checkAliveTimeout`) delay. // https://github.com/eclipse-theia/theia/issues/6499 // `1001` indicates that an endpoint is "going away", such as a server going down or a browser having navigated away from a page. this.socket.close(); } }; exports.ElectronWebSocketConnectionSource = ElectronWebSocketConnectionSource; exports.ElectronWebSocketConnectionSource = ElectronWebSocketConnectionSource = tslib_1.__decorate([ (0, inversify_1.injectable)(), tslib_1.__metadata("design:paramtypes", []) ], ElectronWebSocketConnectionSource); //# sourceMappingURL=electron-ws-connection-source.js.map