diff options
author | 2022-09-05 01:29:11 +0200 | |
---|---|---|
committer | 2022-09-06 01:05:24 +0200 | |
commit | eb94326bb64552dbd7df62ae201ccca37f368467 (patch) | |
tree | b810f0230ace058cac8a6343455ca60113925221 /subprojects/frontend/src/xtext/UpdateService.ts | |
parent | refactor(frontend): more readable indentation (diff) | |
download | refinery-eb94326bb64552dbd7df62ae201ccca37f368467.tar.gz refinery-eb94326bb64552dbd7df62ae201ccca37f368467.tar.zst refinery-eb94326bb64552dbd7df62ae201ccca37f368467.zip |
feat(frontend): show connection status
Diffstat (limited to 'subprojects/frontend/src/xtext/UpdateService.ts')
-rw-r--r-- | subprojects/frontend/src/xtext/UpdateService.ts | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/subprojects/frontend/src/xtext/UpdateService.ts b/subprojects/frontend/src/xtext/UpdateService.ts index d7471cdc..63e28652 100644 --- a/subprojects/frontend/src/xtext/UpdateService.ts +++ b/subprojects/frontend/src/xtext/UpdateService.ts | |||
@@ -82,6 +82,10 @@ export default class UpdateService { | |||
82 | } | 82 | } |
83 | } | 83 | } |
84 | 84 | ||
85 | get opened(): boolean { | ||
86 | return this.webSocketClient.opened; | ||
87 | } | ||
88 | |||
85 | private idleUpdate(): void { | 89 | private idleUpdate(): void { |
86 | if (!this.webSocketClient.opened || !this.tracker.needsUpdate) { | 90 | if (!this.webSocketClient.opened || !this.tracker.needsUpdate) { |
87 | return; | 91 | return; |