diff options
Diffstat (limited to 'subprojects/frontend/src/xtext/XtextClient.ts')
-rw-r--r-- | subprojects/frontend/src/xtext/XtextClient.ts | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/subprojects/frontend/src/xtext/XtextClient.ts b/subprojects/frontend/src/xtext/XtextClient.ts index cd5d280d..e7d26ae6 100644 --- a/subprojects/frontend/src/xtext/XtextClient.ts +++ b/subprojects/frontend/src/xtext/XtextClient.ts | |||
@@ -120,4 +120,8 @@ export default class XtextClient { | |||
120 | log.error('Error while formatting text', e); | 120 | log.error('Error while formatting text', e); |
121 | }); | 121 | }); |
122 | } | 122 | } |
123 | |||
124 | dispose(): void { | ||
125 | this.webSocketClient.disconnect(); | ||
126 | } | ||
123 | } | 127 | } |