diff options
Diffstat (limited to 'subprojects/frontend/src/xtext/UpdateService.ts')
-rw-r--r-- | subprojects/frontend/src/xtext/UpdateService.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/subprojects/frontend/src/xtext/UpdateService.ts b/subprojects/frontend/src/xtext/UpdateService.ts index f1abce52..d7471cdc 100644 --- a/subprojects/frontend/src/xtext/UpdateService.ts +++ b/subprojects/frontend/src/xtext/UpdateService.ts | |||
@@ -83,7 +83,7 @@ export default class UpdateService { | |||
83 | } | 83 | } |
84 | 84 | ||
85 | private idleUpdate(): void { | 85 | private idleUpdate(): void { |
86 | if (!this.webSocketClient.isOpen || !this.tracker.needsUpdate) { | 86 | if (!this.webSocketClient.opened || !this.tracker.needsUpdate) { |
87 | return; | 87 | return; |
88 | } | 88 | } |
89 | if (!this.tracker.lockedForUpdate) { | 89 | if (!this.tracker.lockedForUpdate) { |