open-webui/docs
1
0
Fork 0
mirror of https://github.com/open-webui/docs.git synced 2026-07-21 10:05:26 -04:00
Code Issues 37 Packages Projects Releases Wiki Activity

[PR #808] [MERGED] Redis additional options docs #826

New Issue
Closed
opened 2026-02-15 18:16:19 -05:00 by yindo · 0 comments
yindo commented 2026-02-15 18:16:19 -05:00
Owner
Copy Link
Copy Source

📋 Pull Request Information

Original PR: https://github.com/open-webui/docs/pull/808
Author: @adam-skalicky
Created: 11/10/2025
Status: ✅ Merged
Merged: 11/19/2025
Merged by: @Classic298

Base: dev ← Head: redis_additional_options_docs

📝 Commits (3)

  • aed2966 Added logging for WEBSOCKET_REDIS_OPTIONS, WEBSOCKET_SERVER_LOGGING, WEBSOCKET_SERVER_ENGINEIO_LOGGING, WEBSOCKET_SERVER_PING_TIMEOUT, WEBSOCKET_SERVER_PING_INTERVAL
  • 9341e92 Update env-configuration.mdx
  • 591a027 Update env-configuration.mdx

📊 Changes

1 file changed (+49 additions, -0 deletions)

View changed files

📝 docs/getting-started/env-configuration.mdx (+49 -0)

📄 Description

Added docs for

  • WEBSOCKET_REDIS_OPTIONS,
  • WEBSOCKET_SERVER_LOGGING
  • WEBSOCKET_SERVER_ENGINEIO_LOGGING
  • WEBSOCKET_SERVER_PING_TIMEOUT
  • WEBSOCKET_SERVER_PING_INTERVAL

🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/open-webui/docs/pull/808 **Author:** [@adam-skalicky](https://github.com/adam-skalicky) **Created:** 11/10/2025 **Status:** ✅ Merged **Merged:** 11/19/2025 **Merged by:** [@Classic298](https://github.com/Classic298) **Base:** `dev` ← **Head:** `redis_additional_options_docs` --- ### 📝 Commits (3) - [`aed2966`](https://github.com/open-webui/docs/commit/aed296660f0a732adff1467656e712de26115669) Added logging for WEBSOCKET_REDIS_OPTIONS, WEBSOCKET_SERVER_LOGGING, WEBSOCKET_SERVER_ENGINEIO_LOGGING, WEBSOCKET_SERVER_PING_TIMEOUT, WEBSOCKET_SERVER_PING_INTERVAL - [`9341e92`](https://github.com/open-webui/docs/commit/9341e92b47c337de8f6576bfc2fa6f7fa5382a86) Update env-configuration.mdx - [`591a027`](https://github.com/open-webui/docs/commit/591a027a04f18a6787ec9a5dcf6ed13466df994b) Update env-configuration.mdx ### 📊 Changes **1 file changed** (+49 additions, -0 deletions) <details> <summary>View changed files</summary> 📝 `docs/getting-started/env-configuration.mdx` (+49 -0) </details> ### 📄 Description Added docs for - WEBSOCKET_REDIS_OPTIONS, - WEBSOCKET_SERVER_LOGGING - WEBSOCKET_SERVER_ENGINEIO_LOGGING - WEBSOCKET_SERVER_PING_TIMEOUT - WEBSOCKET_SERVER_PING_INTERVAL --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
yindo added the pull-request label 2026-02-15 18:16:19 -05:00
yindo closed this issue 2026-02-15 18:16:19 -05:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
bug
documentation
documentation
duplicate
enhancement
enhancement
good first issue
good first issue
good first issue
help wanted
pull-request
Mirrored from GitHub Pull Request
No Label pull-request
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
yindo
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: open-webui/docs#826
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?