1 | "use strict";
|
2 |
|
3 |
|
4 | Object.defineProperty(exports, "__esModule", { value: true });
|
5 | exports.BaseManager = void 0;
|
6 | const signaling_1 = require("@lumino/signaling");
|
7 | const serverconnection_1 = require("./serverconnection");
|
8 | class BaseManager {
|
9 | constructor(options) {
|
10 | var _a;
|
11 | this._isDisposed = false;
|
12 | this._disposed = new signaling_1.Signal(this);
|
13 | this.serverSettings = (_a = options.serverSettings) !== null && _a !== void 0 ? _a : serverconnection_1.ServerConnection.makeSettings();
|
14 | }
|
15 | |
16 |
|
17 |
|
18 | get disposed() {
|
19 | return this._disposed;
|
20 | }
|
21 | |
22 |
|
23 |
|
24 | get isDisposed() {
|
25 | return this._isDisposed;
|
26 | }
|
27 | |
28 |
|
29 |
|
30 | dispose() {
|
31 | if (this.isDisposed) {
|
32 | return;
|
33 | }
|
34 | this._disposed.emit(undefined);
|
35 | signaling_1.Signal.clearData(this);
|
36 | }
|
37 | }
|
38 | exports.BaseManager = BaseManager;
|
39 |
|
\ | No newline at end of file |