feat(web): backend URL configuration

To point the frontend to a backend server, update the config.json
file in the website root.

The config.json is generated automatically in debug mode and when
running from a standalone jar.

1 files changed, 1 insertions, 2 deletions

diff --git a/subprojects/frontend/src/xtext/XtextClient.ts b/subprojects/frontend/src/xtext/XtextClient.ts
index e7d26ae6..14fb2430 100644
--- a/subprojects/frontend/src/xtext/XtextClient.ts
+++ b/subprojects/frontend/src/xtext/XtextClient.ts
@@ -35,8 +35,7 @@ export default class XtextClient {
     this.webSocketClient = new XtextWebSocketClient(
       () => this.onReconnect(),
       () => this.onDisconnect(),
-      (resource, stateId, service, push) =>
-        this.onPush(resource, stateId, service, push),
+      this.onPush.bind(this),
     );
     this.updateService = new UpdateService(store, this.webSocketClient);
     this.contentAssistService = new ContentAssistService(this.updateService);