1 files changed, 12 insertions, 0 deletions

diff --git a/subprojects/frontend/src/xtext/XtextWebSocketClient.ts b/subprojects/frontend/src/xtext/XtextWebSocketClient.ts
index eedfa365..b69e1d6c 100644
--- a/subprojects/frontend/src/xtext/XtextWebSocketClient.ts
+++ b/subprojects/frontend/src/xtext/XtextWebSocketClient.ts
@@ -22,6 +22,8 @@ const log = getLogger('xtext.XtextWebSocketClient');
 
 export type ReconnectHandler = () => void;
 
+export type DisconnectHandler = () => void;
+
 export type PushHandler = (
   resourceId: string,
   stateId: string,
@@ -136,6 +138,7 @@ export default class XtextWebSocketClient {
 
   constructor(
     private readonly onReconnect: ReconnectHandler,
+    private readonly onDisconnect: DisconnectHandler,
     private readonly onPush: PushHandler,
   ) {
     this.interpreter
@@ -179,10 +182,18 @@ export default class XtextWebSocketClient {
     return this.interpreter.state;
   }
 
+  get opening(): boolean {
+    return this.state.matches('connection.socketCreated.open.opening');
+  }
+
   get opened(): boolean {
     return this.state.matches('connection.socketCreated.open.opened');
   }
 
+  get errors(): string[] {
+    return this.state.context.errors;
+  }
+
   connect(): void {
     this.interpreter.send('CONNECT');
   }
@@ -261,6 +272,7 @@ export default class XtextWebSocketClient {
   }
 
   private cancelPendingRequests(): void {
+    this.onDisconnect();
     this.pendingRequests.forEach((task) =>
       task.reject(new CancelledError('Closing connection')),
     );