Alexis Métaireau 940ae77602 settings: Make the websocket settings clearer. ... It is now using `WEBSOCKET_BACK_HOST`, `WEBSOCKET_BACK_PORT` and `WEBSOCKET_FRONT_URI`. We need to take in consideration that the "front" WebSocket address (that clients will connect to) might be different than the "back" ip and port which are bound in the host. This happens for instance for reverse proxies, or when running inside a container. We considered using a `WEBSOCKET_TLS` setting, to try guessing the "front" address based on `WEBSOCKET_HOST`, `WEBSOCKET_PORT` and `WEBSOCKET_TLS`, but as the back and front address can differ, this would need to introduce a `WEBSOCKET_URI` in any case, so we went with just using it, and not adding an extra `WEBSOCKET_TLS`.		2024-06-07 18:21:30 +02:00
..
customize.md	docs: customizing header/footer templates	2024-02-06 12:56:09 -05:00
icons.md	Update docs/config/icons.md	2024-05-17 17:38:04 +02:00
settings.md	settings: Make the websocket settings clearer.	2024-06-07 18:21:30 +02:00