Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix wrong docs for use_symbol_list #2085

Merged
merged 1 commit into from
Jan 27, 2025
Merged

Fix wrong docs for use_symbol_list #2085

merged 1 commit into from
Jan 27, 2025

Conversation

IvoDD
Copy link
Collaborator

@IvoDD IvoDD commented Dec 19, 2024

Simple docs change to reflect actual behavior.
See real behavior here:

if(use_symbol_list.value_or(cfg().symbol_list()))
res = symbol_list().get_symbol_set(store());
else
res = list_streams(store(), version_map(), prefix, all_symbols.value_or(false));

@IvoDD IvoDD force-pushed the fix-symbol-list-docs branch from 52f210e to b4315b7 Compare January 24, 2025 16:02
@IvoDD IvoDD merged commit d8b8321 into master Jan 27, 2025
151 of 153 checks passed
@IvoDD IvoDD deleted the fix-symbol-list-docs branch January 27, 2025 16:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants