From d9ba4f7923d72a5f1ffa07e7a7181a7b7391b3ef Mon Sep 17 00:00:00 2001
From: Jan Kessler <jakessle@uni-mainz.de>
Date: Mon, 24 Mar 2025 20:50:19 +0100
Subject: [PATCH] clarify different Redis URLs + add docs for Sentinel envs

---
 docs/getting-started/env-configuration.md | 31 +++++++++++++++++++++--
 1 file changed, 29 insertions(+), 2 deletions(-)

diff --git a/docs/getting-started/env-configuration.md b/docs/getting-started/env-configuration.md
index d337147..52d0948 100644
--- a/docs/getting-started/env-configuration.md
+++ b/docs/getting-started/env-configuration.md
@@ -2238,11 +2238,38 @@ More information about this setting can be found [here](https://docs.sqlalchemy.
 - Default: `redis`
 - Description: Specifies the websocket manager to use (in this case, Redis).
 
-#### `WEBSOCKET_REDIS_URL` (`REDIS_URL` exists for potential future use cases. In practice, it is recommended to set both.)
+#### `WEBSOCKET_REDIS_URL`
 
 - Type: `str`
 - Default: `redis://localhost:6379/0`
-- Description: Specifies the URL of the Redis instance for websocket communication.
+- Description: Specifies the URL of the Redis instance for websocket communication. It is distinct from `REDIS_URL` and in practice it is recommend to set both.
+
+#### `WEBSOCKET_SENTINEL_HOSTS`
+
+- Type: `str`
+- Description: Comma-separated list of Redis Sentinels for websocket. If specified, the "hostname" in `WEBSOCKET_REDIS_URL` will be interpreted as the Sentinel service name.
+
+#### `WEBSOCKET_SENTINEL_PORT`
+
+- Type: `int`
+- Default: `26379`
+- Description: Sentinel port for websocket Redis.
+
+#### `REDIS_URL`
+
+- Type: `str`
+- Description: Specifies the URL of the Redis instance for app state.
+
+#### `SENTINEL_HOSTS`
+
+- Type: `str`
+- Description: Comma-separated list of Redis Sentinels for app state. If specified, the "hostname" in `REDIS_URL` will be interpreted as the Sentinel service name.
+
+#### `SENTINEL_PORT`
+
+- Type: `int`
+- Default: `26379`
+- Description: Sentinel port for app state Redis.
 
 ### Proxy Settings