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, 16 insertions, 0 deletions

diff --git a/subprojects/frontend/src/xtext/fetchBackendConfig.ts b/subprojects/frontend/src/xtext/fetchBackendConfig.ts
new file mode 100644
index 00000000..f8087a70
--- /dev/null
+++ b/subprojects/frontend/src/xtext/fetchBackendConfig.ts
@@ -0,0 +1,16 @@
+/* eslint-disable @typescript-eslint/no-redeclare -- Declare types with their companion objects */
+
+import { z } from 'zod';
+
+export const BackendConfig = z.object({
+  webSocketURL: z.string().url(),
+});
+
+export type BackendConfig = z.infer<typeof BackendConfig>;
+
+export default async function fetchBackendConfig(): Promise<BackendConfig> {
+  const configURL = `${import.meta.env.BASE_URL}config.json`;
+  const response = await fetch(configURL);
+  const rawConfig = (await response.json()) as unknown;
+  return BackendConfig.parse(rawConfig);
+}