1 |
|
2 |
|
3 |
|
4 | export var StompSocketState;
|
5 | (function (StompSocketState) {
|
6 | StompSocketState[StompSocketState["CONNECTING"] = 0] = "CONNECTING";
|
7 | StompSocketState[StompSocketState["OPEN"] = 1] = "OPEN";
|
8 | StompSocketState[StompSocketState["CLOSING"] = 2] = "CLOSING";
|
9 | StompSocketState[StompSocketState["CLOSED"] = 3] = "CLOSED";
|
10 | })(StompSocketState || (StompSocketState = {}));
|
11 |
|
12 |
|
13 |
|
14 | export var ActivationState;
|
15 | (function (ActivationState) {
|
16 | ActivationState[ActivationState["ACTIVE"] = 0] = "ACTIVE";
|
17 | ActivationState[ActivationState["DEACTIVATING"] = 1] = "DEACTIVATING";
|
18 | ActivationState[ActivationState["INACTIVE"] = 2] = "INACTIVE";
|
19 | })(ActivationState || (ActivationState = {}));
|
20 |
|
\ | No newline at end of file |