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 =
|
14 | (_a = options.serverSettings) !== null && _a !== void 0 ? _a : serverconnection_1.ServerConnection.makeSettings();
|
15 | }
|
16 | |
17 |
|
18 |
|
19 | get disposed() {
|
20 | return this._disposed;
|
21 | }
|
22 | |
23 |
|
24 |
|
25 | get isDisposed() {
|
26 | return this._isDisposed;
|
27 | }
|
28 | |
29 |
|
30 |
|
31 | get isActive() {
|
32 | return true;
|
33 | }
|
34 | |
35 |
|
36 |
|
37 | dispose() {
|
38 | if (this.isDisposed) {
|
39 | return;
|
40 | }
|
41 | this._isDisposed = true;
|
42 | this._disposed.emit(undefined);
|
43 | signaling_1.Signal.clearData(this);
|
44 | }
|
45 | }
|
46 | exports.BaseManager = BaseManager;
|
47 |
|
\ | No newline at end of file |