Markus Zolliker 1b9db884db replace hard-wired websocket address ...

for ssh tunnels, we need to use the same adress as given in the
address bar, only changing port number to 8010

2025-07-14 15:09:50 +02:00

..

dil5.html

replace hard-wired websocket address

2025-07-14 15:09:50 +02:00

dil5.svg

make more generic

2025-06-05 14:33:54 +02:00