HL7-1: add documentation #4

Merged
markus merged 5 commits from 1-add-documentation into development 2025-07-30 11:07:34 +00:00
Showing only changes of commit ad48df97e5 - Show all commits

View file

@ -16,6 +16,7 @@
import { Label } from '$lib/components/ui/dropdown-menu'; import { Label } from '$lib/components/ui/dropdown-menu';
import { env } from '$env/dynamic/public'; import { env } from '$env/dynamic/public';
import { Tooltip, TooltipContent, TooltipProvider, TooltipTrigger } from '$lib/components/ui/tooltip'; import { Tooltip, TooltipContent, TooltipProvider, TooltipTrigger } from '$lib/components/ui/tooltip';
import { dev } from '$app/environment';
// connection state // connection state
let ws = $state<WebSocket | undefined>(undefined); let ws = $state<WebSocket | undefined>(undefined);
@ -64,7 +65,7 @@
console.log('Connecting to server...'); console.log('Connecting to server...');
connectionState = ConnectionState.connecting; connectionState = ConnectionState.connecting;
const socket = new WebSocket(`wss://${env.PUBLIC_SERVER}`); const socket = new WebSocket(`${dev ? 'ws' : 'wss'}://${env.PUBLIC_SERVER}`);
socket.onopen = () => { socket.onopen = () => {
console.log('WebSocket connection established.'); console.log('WebSocket connection established.');