diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2021-10-27 01:23:43 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2021-10-31 19:26:12 +0100 |
| commit | 6c651cf4c81a5c49381c15d89e9e9a43d38f632a (patch) | |
| tree | 08b4911fab43ec26a68284ea4b2e68d26018cf91 /language-web/src/main/js/editor/XtextClient.ts | |
| parent | chore(web): refactor websocket state machine (diff) | |
| download | refinery-6c651cf4c81a5c49381c15d89e9e9a43d38f632a.tar.gz refinery-6c651cf4c81a5c49381c15d89e9e9a43d38f632a.tar.zst refinery-6c651cf4c81a5c49381c15d89e9e9a43d38f632a.zip | |
chore(web): simplify websocket state machine
Diffstat (limited to 'language-web/src/main/js/editor/XtextClient.ts')
| -rw-r--r-- | language-web/src/main/js/editor/XtextClient.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language-web/src/main/js/editor/XtextClient.ts b/language-web/src/main/js/editor/XtextClient.ts index 5216154e..39458e93 100644 --- a/language-web/src/main/js/editor/XtextClient.ts +++ b/language-web/src/main/js/editor/XtextClient.ts | |||
| @@ -223,7 +223,7 @@ export class XtextClient { | |||
| 223 | this.pendingUpdate = null; | 223 | this.pendingUpdate = null; |
| 224 | switch (newStateId) { | 224 | switch (newStateId) { |
| 225 | case UpdateAction.ForceReconnect: | 225 | case UpdateAction.ForceReconnect: |
| 226 | this.webSocketClient.handleApplicationError(); | 226 | this.webSocketClient.forceReconnectOnError(); |
| 227 | break; | 227 | break; |
| 228 | case UpdateAction.FullTextUpdate: | 228 | case UpdateAction.FullTextUpdate: |
| 229 | await this.updateFullText(); | 229 | await this.updateFullText(); |